CI #508
Triggered via pull request review
February 25, 2025 15:57
liav-certora
submitted
37bb4b0
Status
Skipped
Total duration
3s
Artifacts
–