Skip to content
Rust

Optimize more special cases of distinct #294

Sign in to view logs

Optimize more special cases of distinct

Optimize more special cases of distinct #294

Triggered via pull request December 31, 2024 21:54
@dewert99dewert99
opened #92
approx-distinct
Status Success
Total duration 8m 40s
Artifacts –

rust.yml

on: pull_request
cargo test
51s
cargo test
StarExec SMT tests
2m 21s
StarExec SMT tests
StarExec SMT tests with extra equalities and randomized activations
7m 16s
StarExec SMT tests with extra equalities and randomized activations
benchmarks
5m 8s
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