Skip to content
Test New Dafny Files

Markup file parts #12

Sign in to view logs

Markup file parts

Markup file parts #12

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

test-dafny-new.yml

on: pull_request
test-changed
5m 8s
test-changed
Fit to window
Zoom out
Zoom in