Skip to content
Test New Dafny Files

004, 016, 026, 029 #3

Sign in to view logs

004, 016, 026, 029

004, 016, 026, 029 #3

Triggered via pull request August 21, 2024 12:25
@WeetHetWeetHet
synchronize #28
new-tests
Status Success
Total duration 47s
Artifacts –

test-dafny-new.yml

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