Skip to content
Rust

Fix bug when combining (reset), (push), and (get-unsat-core) #185

Sign in to view logs

Fix bug when combining (reset), (push), and (get-unsat-core)

Fix bug when combining (reset), (push), and (get-unsat-core) #185

Triggered via push May 23, 2024 20:21
@dewert99dewert99
pushed dffb0ba
main
Status Success
Total duration 37m 4s
Artifacts –

rust.yml

on: push
cargo test
1m 5s
cargo test
StarExec SMT tests
12m 39s
StarExec SMT tests
StarExec SMT tests with extra equalities and randomized activations
35m 43s
StarExec SMT tests with extra equalities and randomized activations
benchmarks
3m 28s
benchmarks
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
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/.
StarExec SMT tests
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/.
StarExec SMT tests
Cache does not exist using key setup-rustcargo-v1-linux-409c320bccba23842e3284cef71e7f131bdf32f4
benchmarks
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, moonrepo/setup-rust@v0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
StarExec SMT tests with extra equalities and randomized activations
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/.
StarExec SMT tests with extra equalities and randomized activations
Cache does not exist using key setup-rustcargo-v1-linux-040dc7428c38c82eee256d10ffd3bb34049a946a