.github/workflows/certora-prover.yml #3312
elhajincertora-prover.yml
on: workflow_dispatch
Compile
39s
Verify
0s
Annotations
2 errors and 3 warnings
|
Compile
Process completed with exit code 2.
|
|
Compile
Process completed with exit code 1.
|
|
Compile
Unexpected input(s) 'use-beta', valid inputs are ['certora-key', 'cli-version', 'cli-release', 'configurations', 'ecosystem', 'solc-versions', 'solc-remove-version-prefix', 'server', 'job-name', 'install-java', 'compilation-steps-only', 'comment-fail-only', 'debug-level', 'working-directory', 'rust-setup', 'rust-version', 'rust-additional-versions', 'certora-sbf-version', 'certora-sbf-options']
|
|
Compile
No files were found with the provided path: /tmp/certora-logs/*. No artifacts will be uploaded.
|
|
Compile
Unexpected input(s) 'use-beta', valid inputs are ['certora-key', 'cli-version', 'cli-release', 'configurations', 'ecosystem', 'solc-versions', 'solc-remove-version-prefix', 'server', 'job-name', 'install-java', 'compilation-steps-only', 'comment-fail-only', 'debug-level', 'working-directory', 'rust-setup', 'rust-version', 'rust-additional-versions', 'certora-sbf-version', 'certora-sbf-options']
|