Skip to content

Try saving z3 log files in cache #68

Try saving z3 log files in cache

Try saving z3 log files in cache #68

Triggered via push December 16, 2023 13:22
Status Failure
Total duration 1m 9s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
format
Process completed with exit code 1.
clippy
Process completed with exit code 101.
format
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
clippy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
test
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/