.github/workflows/main.yml

Test Action #55

Sign in to view logs

Triggered via pull request December 12, 2024 14:56

H00N24

opened #5

test/test-action

Status Failure

Total duration 39s

Billable time 3m

Artifacts 3

main.yml

on: pull_request

fail_to_start / certora_run

violated_rules / certora_run

verified_rules / certora_run

Annotations

1 error and 3 warnings

fail_to_start / certora_run

Process completed with exit code 1.

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

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

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

Artifacts

Produced during runtime

Name	Size
certora-run-logs-481ab8bd-5f9f-4410-b0c0-6b9f8be512d3-12298964655	2 KB
certora-run-logs-66878851-7485-4081-8f89-e9d1e0dad982-12298964655	2.47 KB
certora-run-logs-bd44b477-17a2-4348-890b-58147e5788b9-12298964655	3.1 KB