Skip to content
Test New Dafny Files

107, 111 #14

Sign in to view logs

107, 111

107, 111 #14

Triggered via pull request September 2, 2024 11:13
@WeetHetWeetHet
opened #38
new-tests
Status Success
Total duration 45s
Artifacts –

test-dafny-new.yml

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