C: Add option to generate separate header · rems-project/sail@5be009f

Triggered via push February 5, 2025 15:49

Alasdair

c_header

Status Success

Total duration 7m 36s

Artifacts –

build.yml

on: push

Matrix: build

2 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

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

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