Skip to content
Test All Dafny Files

Use ubuntu #3

Sign in to view logs

Use ubuntu

Use ubuntu #3

Triggered via push August 1, 2024 13:52
@WeetHetWeetHet
pushed bc9eb16
main
Status Success
Total duration 52s
Artifacts –

test-dafny.yml

on: push
test
40s
test
Fit to window
Zoom out
Zoom in