.github/workflows/main.yml

Add Alpha Note to Readme #59

Sign in to view logs

Triggered via pull request December 18, 2024 13:32

H00N24

opened #9

fix/alpha-note

Status Failure

Total duration 36s

Billable time 3m

Artifacts 3

main.yml

on: pull_request

Annotations

1 error and 2 warnings

fail_to_start

Process completed with exit code 1.

violated_rules

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

verified_rules

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-499a6b0b-0674-47e9-8a94-c823d79f6ad0-12394035711	2.6 KB
certora-run-logs-62c2ecb8-d8eb-4d43-9967-0a93d835dc56-12394035711	2.7 KB
certora-run-logs-69bce9a2-3ab1-4220-bd46-33b855ab84fc-12394035711	3.26 KB