Rename to plat-smt #186
rust.yml
on: pull_request
cargo test
45s
StarExec SMT tests with extra equalities and randomized activations
27s
benchmarks
0s
Annotations
2 errors and 6 warnings
StarExec SMT tests
Process completed with exit code 101.
|
StarExec SMT tests with extra equalities and randomized activations
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/.
|
cargo test
Cache does not exist using key setup-rustcargo-v1-linux-ccfa0b3216ee521c358e039df3492393679c5a14
|
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-97805974e90e60b52d4553d27df53f16f7874181
|
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-01616057766a786a75516c67ac3d5ec88e12cc90
|