certora-basic

fix: config engine base payload (#131) #1

Sign in to view logs

Annotations

5 errors and 1 warning

Not Found

Process completed with exit code 1.

Process completed with exit code 2.

Process completed with exit code 1.

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.

No files were found with the provided path: /tmp/certora-logs/*. No artifacts will be uploaded.

The logs for this run have expired and are no longer available.