Skip to content
OCaml Binding CI (Ubuntu + macOS)

re-add smt_parallel_params to allow customization #1722

Sign in to view logs

re-add smt_parallel_params to allow customization

re-add smt_parallel_params to allow customization #1722

Triggered via push October 31, 2025 15:20
@NikolajBjornerNikolajBjorner
pushed e3c715c
parallel
Status Success
Total duration 19m 29s
Artifacts –

ocaml.yaml

on: push
Matrix: build-test
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build-test (macos-latest, 5)
ninja 1.13.1 is already installed and up-to-date. To reinstall 1.13.1, run: brew reinstall ninja
build-test (macos-latest, 5)
pkgconf 2.5.1 is already installed and up-to-date. To reinstall 2.5.1, run: brew reinstall pkgconf
build-test (macos-latest, 5)
gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp