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

Triggered via push October 2, 2024 13:49
@WeetHetWeetHet
pushed a50f3ab
main
Status Success
Total duration 5m 19s
Artifacts –

test-dafny-all.yml

on: push
test
5m 10s
test
Fit to window
Zoom out
Zoom in