Fix Local Use #35
H00N24main.yml
on: pull_request
test-fail
/
certora_run
17s
test-pass
/
certora_run
16s
Annotations
1 error and 2 warnings
|
test-pass / certora_run
Failed to CreateArtifact: Received non-retryable error: Failed request: (409) Conflict: an artifact with this name already exists on the workflow run
|
|
test-fail / certora_run
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-pass / 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--12263883424
|
2.88 KB |
|