Skip to content
.github/workflows/main.yml

Test action #52

Sign in to view logs

Test action

Test action #52

Triggered via pull request December 11, 2024 15:27
@H00N24H00N24
synchronize #4
test/test-action
Status Failure
Total duration 30s
Billable time 3m
Artifacts 3

main.yml

on: pull_request
fail_to_start  /  certora_run
18s
fail_to_start / certora_run
violated_rules  /  certora_run
11s
violated_rules / certora_run
verified_rules  /  certora_run
11s
verified_rules / certora_run
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
violated_rules / certora_run
Process completed with exit code 1.
verified_rules / certora_run
Process completed with exit code 1.
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
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

Artifacts

Produced during runtime
Name Size
certora-run-logs-8601d83a-65b2-49d9-88b2-d51307ac8442-12279553371
2.51 KB
certora-run-logs-aa7536fe-f254-44fe-a3ef-06a964967405-12279553371
1.88 KB
certora-run-logs-b3c00b34-da39-41fd-b65f-26c56d129336-12279553371
1.71 KB