Certora review #186
This workflow is awaiting approval from a maintainer in #40
Triggered via pull request
November 18, 2024 18:07
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #40
test.yml
on: pull_request
Foundry build n test
lint