Skip to content
Test All Dafny Files

Minor fixes, implementation of 018-how_many_times (#52) #19

Sign in to view logs

Minor fixes, implementation of 018-how_many_times (#52)

Minor fixes, implementation of 018-how_many_times (#52) #19

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
5m 10s
5m 10s