Skip to content
Rust

Fix --print-smt for synthesize-encoding CLI command #33

Sign in to view logs

Fix --print-smt for synthesize-encoding CLI command

Fix --print-smt for synthesize-encoding CLI command #33

Triggered via push October 17, 2024 15:38
@jxorsjxors
pushed 1788ac2
main
Status Failure
Total duration 2m 2s
Artifacts –

rust.yml

on: push
build
1m 51s
build
Publish to Cloudflare Pages
1m 15s
Publish to Cloudflare Pages
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build
Process completed with exit code 1.
Publish to Cloudflare Pages
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, cloudflare/pages-action@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/