Skip to content
Test All Dafny Files

38,56,90,119,132 (#55) #25

Sign in to view logs

38,56,90,119,132 (#55)

38,56,90,119,132 (#55) #25

Triggered via push January 6, 2025 17:01
@alex28shalex28sh
pushed 20e5d30
main
Status Success
Total duration 6m 6s
Artifacts –

test-dafny-all.yml

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