Skip to content
Test All Dafny Files

065, 079 (#40) #14

Sign in to view logs

065, 079 (#40)

065, 079 (#40) #14

Triggered via push September 3, 2024 19:21
@WeetHetWeetHet
pushed eea53ff
main
Status Success
Total duration 5m 25s
Artifacts –

test-dafny-all.yml

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