Feat: @-attributes on top-level declarations #8743
Triggered via pull request
October 10, 2024 14:46
Status
Cancelled
Total duration
7m 21s
Artifacts
–
runtime-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
0s
build
0s
Annotations
1 error
check-deep-tests / check-deep-tests
Canceling since a higher priority waiting request for 'Build and Test Dafny Runtimes-refs/pull/5825/merge' exists
|