Skip to content
Test All Dafny Files

050, 093, 109, 112, 121 #8

Sign in to view logs

050, 093, 109, 112, 121

050, 093, 109, 112, 121 #8

Triggered via push August 28, 2024 12:21
@WeetHetWeetHet
pushed 8b9e581
main
Status Success
Total duration 5m 18s
Artifacts –

test-dafny-all.yml

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