Start using second-stack2 to avoid unnecessary allocations #202
dewert99rust.yml
on: pull_request
cargo test
2m 59s
StarExec SMT tests with extra equalities and randomized activations
37m 12s
benchmarks
5m 43s
Annotations
8 warnings
|
cargo test
The following actions uses Node.js version which is deprecated and will be forced to run on node20: moonrepo/setup-rust@v0. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
cargo test
Cache does not exist using key setup-rustcargo-v1-linux-71424cf7a2f2d97f150c31bf620a7562fd2b4577
|
|
StarExec SMT tests
The following actions uses Node.js version which is deprecated and will be forced to run on node20: moonrepo/setup-rust@v0. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
StarExec SMT tests
Cache does not exist using key setup-rustcargo-v1-linux-571d2002ddbb643bbbca41c10bc95dfe5d2567c5
|
|
CodSpeed Action Update
A new version v3 is available at https://github.com/CodSpeedHQ/action/releases. You're currently using version v2. Please update to the latest version for improved features and bug fixes.
|
|
benchmarks
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, moonrepo/setup-rust@v0. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
StarExec SMT tests with extra equalities and randomized activations
The following actions uses Node.js version which is deprecated and will be forced to run on node20: moonrepo/setup-rust@v0. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
StarExec SMT tests with extra equalities and randomized activations
Cache does not exist using key setup-rustcargo-v1-linux-6c27cc8fd76a2ce224ca39af4679a1e450e78638
|