Skip to content
Test New Dafny Files

036, 087, 161 #13

Sign in to view logs

036, 087, 161

036, 087, 161 #13

Triggered via pull request August 30, 2024 10:51
@WeetHetWeetHet
opened #37
new-tests
Status Success
Total duration 49s
Artifacts –

test-dafny-new.yml

on: pull_request
test-changed
39s
test-changed
Fit to window
Zoom out
Zoom in