SMT: Add missing arith_bits case · rems-project/sail@fb9c198

Triggered via push January 7, 2025 16:10

Alasdair

smt_arith_bits

Status Success

Total duration 7m 21s

Artifacts –

build.yml

on: push

Matrix: build

5 warnings and 2 notices

gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp

pkgconf 2.3.0_1 is already installed and up-to-date. To reinstall 2.3.0_1, run: brew reinstall pkgconf

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

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

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

There are 741 tests, see "Raw output" for the full list of tests.

There are 741 tests, see "Raw output" for the full list of tests.