Skip to content
Rust

smt: print evaluation of vc in counterexample #62

Sign in to view logs

smt: print evaluation of vc in counterexample

smt: print evaluation of vc in counterexample #62

Triggered via push April 10, 2024 14:43
@Philipp15bPhilipp15b
pushed d7cd855
main
Status Failure
Total duration 24m 35s
Artifacts –

rust.yml

on: push
Test Suite
13m 59s
Test Suite
Rustfmt
27s
Rustfmt
Clippy
9m 43s
Clippy
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
Rustfmt
Process completed with exit code 1.
Clippy
Process completed with exit code 101.
Test Suite
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/.
Rustfmt
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/.
Clippy
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/.