Skip to content
Rust

Fix gen_sym warning #182

Sign in to view logs

Fix gen_sym warning

Fix gen_sym warning #182

Triggered via pull request May 23, 2024 17:24
@dewert99dewert99
synchronize #52
fix-gensym-warning
Status Failure
Total duration 1m 0s
Artifacts –

rust.yml

on: pull_request
cargo test
50s
cargo test
StarExec SMT tests
0s
StarExec SMT tests
StarExec SMT tests with extra equalities and randomized activations
0s
StarExec SMT tests with extra equalities and randomized activations
benchmarks
0s
benchmarks
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
cargo test
Process completed with exit code 101.
cargo test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: moonrepo/setup-rust@v0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.