aehyvaricertora-prover.yml
on: workflow_dispatch
certora_run_submission
47s
Annotations
5 errors and 1 warning
|
certora_run_submission
no message, check your message inputs
|
|
certora_run_submission
Process completed with exit code 1.
|
|
certora_run_submission
Process completed with exit code 2.
|
|
certora_run_submission
Process completed with exit code 1.
|
|
Certora Key is missing
Please provide a valid Certora key as a secret input. For more details please refer to the documentation at https://github.com/Certora/certora-run-action.
|
|
certora_run_submission
No files were found with the provided path: /tmp/certora-logs/*. No artifacts will be uploaded.
|