Skip to content
Rust

Re-enable costly conflicts #265

Sign in to view logs

Re-enable costly conflicts

Re-enable costly conflicts #265

Triggered via push December 22, 2024 21:52
@dewert99dewert99
pushed 1f6c629
main
Status Success
Total duration 15m 15s
Artifacts –

rust.yml

on: push
cargo test
2m 52s
cargo test
StarExec SMT tests
4m 40s
StarExec SMT tests
StarExec SMT tests with extra equalities and randomized activations
9m 7s
StarExec SMT tests with extra equalities and randomized activations
benchmarks
7m 25s
benchmarks
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
cargo test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
StarExec SMT tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
StarExec SMT tests with extra equalities and randomized activations
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
benchmarks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636