Skip to content

daily

daily #560

Triggered via schedule March 27, 2025 14:31
Status Failure
Total duration 3m 16s
Artifacts

daily.yml

on: schedule
Matrix: prover-inconsistency-test
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 2 warnings
prover-inconsistency-test (main)
Missing download info for actions/[email protected]
audit
Input required and not supplied: body
audit
Invalid value. Matching delimiter not found 'EOF'
audit
Unable to process file command 'env' successfully.
audit
Process completed with exit code 1.
audit
Process completed with exit code 1.
audit
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
audit
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/