Skip to content
Test New Dafny Files

126, 146 #5

Sign in to view logs

126, 146

126, 146 #5

Triggered via pull request August 22, 2024 11:43
@WeetHetWeetHet
opened #30
new-tests
Status Success
Total duration 42s
Artifacts –

test-dafny-new.yml

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