Skip to content
Test New Dafny Files

065, 079 #17

Sign in to view logs

065, 079

065, 079 #17

Triggered via pull request September 3, 2024 19:18
@WeetHetWeetHet
opened #40
new-tests
Status Success
Total duration 2m 42s
Artifacts –

test-dafny-new.yml

on: pull_request
test-changed
2m 32s
test-changed
Fit to window
Zoom out
Zoom in