CI: Add monomorphisation tests to CI · rems-project/sail@8662254

Triggered via push February 14, 2025 12:05

Alasdair

mono_test_ci

Status Success

Total duration 7m 23s

Artifacts –

build.yml

on: push

Matrix: build

2 warnings and 4 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

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

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

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

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