Fix/certora ci update #39
sendra
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
main.yml
on: pull_request
test
/
Foundry build n test
1m 56s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
e3aa76f17f290902320d5a733c54d52d51e3ce2b
Expired
|
22.3 KB |
|
|
pr_number
Expired
|
3 Bytes |
|