Skip to content
This repository has been archived by the owner on May 4, 2024. It is now read-only.

daily

daily #729

Triggered via schedule April 9, 2024 14:22
Status Failure
Total duration 3m 52s
Artifacts

daily.yml

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

Annotations

6 errors and 9 warnings
prover-inconsistency-test (main)
Process completed with exit code 1.
audit
Process completed with exit code 1.
audit
Unable to process file command 'env' successfully.
audit
Invalid value. Matching delimiter not found 'EOF'
audit
Input required and not supplied: body
audit
Process completed with exit code 101.
prover-inconsistency-test (main)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/[email protected], actions/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
prover-inconsistency-test (main)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/[email protected], actions/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
prover-inconsistency-test (main)
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/
prover-inconsistency-test (main)
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/
prover-inconsistency-test (main)
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
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/[email protected], diem/actions/create-issue@faadd16607b77dfa2231a8f366883e01717b3225. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
audit
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/[email protected], diem/actions/create-issue@faadd16607b77dfa2231a8f366883e01717b3225. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
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/