Skip to content
Test New Dafny Files

Only test changed files in PRs #1

Sign in to view logs

Only test changed files in PRs

Only test changed files in PRs #1

Triggered via push August 21, 2024 12:12
@WeetHetWeetHet
pushed f93292d
new-tests
Status Success
Total duration 35s
Artifacts –

test-dafny-new.yml

on: push
test
24s
test
Fit to window
Zoom out
Zoom in