Skip to content
.github/workflows/main.yml

Remove Comments & Compilation Step Only Feature #60

Sign in to view logs

Remove Comments & Compilation Step Only Feature

Remove Comments & Compilation Step Only Feature #60

Triggered via pull request December 19, 2024 14:15
@H00N24H00N24
opened #10
feat/remove-comments-and-compilation-only
Status Failure
Total duration 24s
Artifacts 3

main.yml

on: pull_request
fail_to_start
14s
fail_to_start
violated_rules
13s
violated_rules
verified_rules
14s
verified_rules
Fit to window
Zoom out
Zoom in

Annotations

3 errors
violated_rules
Process completed with exit code 1.
fail_to_start
Process completed with exit code 1.
verified_rules
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
certora-run-logs-70f60e27-b05b-4d6e-9bea-9a21d9f90310-12414436164
1.79 KB
certora-run-logs-8c1412a5-ff6e-4260-b4eb-c85496c20526-12414436164
2.07 KB
certora-run-logs-e21cd45e-77ab-495d-8412-b3f6ddb930f1-12414436164
2.33 KB