Certora Review #31
MichaelMoramitest.yml
on: pull_request
lint
30s
Foundry build n test
3m 3s
Annotations
1 error
|
lint
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
a2c9ca357ecd46a636ee4d02280aeb0d26e18679
|
13 KB |
|
|
pr_number
|
144 Bytes |
|