costly-conflict #267
Triggered via pull request
December 22, 2024 22:19
dewert99
Status
Success
Total duration
15m 53s
Artifacts
–
rust.yml
on: pull_request
cargo test
3m 7s
StarExec SMT tests with extra equalities and randomized activations
9m 1s
benchmarks
7m 55s
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
|