Skip to content

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
Fit to window
Zoom out
Zoom in