Add role functions to ICollector #143
This workflow is awaiting approval from a maintainer in #107
Triggered via pull request
February 28, 2025 21:52
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #107
certora-basic.yml
on: pull_request
Matrix: verify
Waiting for pending jobs