Skip to content
Test All Dafny Files

107, 111 (#38) #12

Sign in to view logs

107, 111 (#38)

107, 111 (#38) #12

Triggered via push September 2, 2024 11:15
@WeetHetWeetHet
pushed a45dad3
main
Status Success
Total duration 5m 14s
Artifacts –

test-dafny-all.yml

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