Certora Review #32
MichaelMoramitest.yml
on: pull_request
lint
44s
Foundry build n test
3m 1s
Annotations
1 error
|
lint
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
9f4c16c2566588307bb6e602c1d89b360da657aa
Expired
|
12.8 KB |
|
|
pr_number
Expired
|
144 Bytes |
|