Skip to content

fix z3_auto

fix z3_auto #149

Triggered via pull request April 2, 2024 14:15
Status Failure
Total duration 3m 52s
Artifacts

rust.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 3 warnings
Format
Process completed with exit code 1.
lints
Process completed with exit code 101.
build
Process completed with exit code 101.
Format
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
lints
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.