IndexRegistry Tests #1299
Triggered via pull request
October 14, 2023 00:33
Status
Failure
Total duration
2h 5m 20s
Artifacts
–
certora-prover.yml
on: pull_request
list-scripts
5s
Matrix: verify
Annotations
2 errors and 10 warnings