[Certora] Dev #721
Triggered via pull request
November 28, 2023 13:41
QGarchery
Status
Cancelled
Total duration
4m 42s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
foundry.yml
on: pull_request
Compilation (without IR)
1m 9s
Compilation (via IR)
1m 4s
Matrix: Tests
Annotations
2 errors
|
Tests (slow)
Canceling since a higher priority waiting request for 'Foundry-refs/pull/334/merge-pull_request' exists
|
|
Tests (slow)
The operation was canceled.
|