test

Implements concurrent `Smt::compute_mutations` #273

Sign in to view logs

Re-run triggered January 28, 2025 09:28

bobbinth

#365

reilabs:krushimir/subtree_mutations

Status Success

Total duration 4m 15s

Artifacts –

test.yml

on: pull_request

Matrix: test

Annotations

4 warnings

test stable on ubuntu with smt-hashmaps

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test nightly on ubuntu with no-std

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test nightly on ubuntu with smt-hashmaps

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

test nightly on ubuntu with default

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636