Certora benchmark submission 2024 #25
hansjoergschurrcheck-pull-request.yml
on: pull_request
basic-checks
4s
check-with-dolmen
0s
Annotations
1 error
|
basic-checks
Process completed with exit code 1.
|