Skip to content
Test New Dafny Files

Markup file parts #10

Sign in to view logs

Markup file parts

Markup file parts #10

Triggered via pull request August 29, 2024 11:30
@WeetHetWeetHet
opened #35
markup
Status Success
Total duration 5m 10s
Artifacts –

test-dafny-new.yml

on: pull_request
test-changed
4m 59s
test-changed
Fit to window
Zoom out
Zoom in