CI: Update coverage action versions · rems-project/sail@d9fdcd0

Triggered via push January 16, 2025 15:41

Alasdair

ci_cov_actions

Status Success

Total duration 7m 45s

Artifacts –

build.yml

on: push

Matrix: build

5 warnings and 2 notices

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

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

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

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