Skip to content
Test New Dafny Files

Minor fixes, implementation of 018-how_many_times #22

Sign in to view logs

Minor fixes, implementation of 018-how_many_times

Minor fixes, implementation of 018-how_many_times #22

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-changed
19s
19s