This is my new change #57
H00N24main.yml
on: pull_request
fail_to_start
/
certora_run
33s
violated_rules
/
certora_run
58s
verified_rules
/
certora_run
22s
Annotations
1 error and 3 warnings
|
fail_to_start / certora_run
Process completed with exit code 1.
|
|
verified_rules / certora_run
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
fail_to_start / certora_run
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
violated_rules / certora_run
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
certora-run-logs-421fb9bb-c92f-4d62-a868-d31e5a232ac0-12299370709
|
2 KB |
|
|
certora-run-logs-e9868b30-dfef-4738-9f35-1cb44799c32a-12299370709
|
3.11 KB |
|
|
certora-run-logs-ebf9779d-26a7-40fe-91d2-5500b9c97ab0-12299370709
|
2.47 KB |
|