This is my new change #58
H00N24main.yml
on: pull_request
fail_to_start
/
certora_run
18s
violated_rules
/
certora_run
17s
verified_rules
/
certora_run
17s
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-36ab5e2e-312b-4d3d-8e75-fbf396a7018e-12302874341
|
2 KB |
|
|
certora-run-logs-5069fcfd-d985-4fdc-a5e5-8da541f3b3b3-12302874341
|
3.1 KB |
|
|
certora-run-logs-50775f75-0fb5-4a44-a0d3-830b70784539-12302874341
|
2.47 KB |
|