Skip to content
OCaml Binding CI (Ubuntu + macOS)

redo priority selection #6839

Sign in to view logs

redo priority selection

redo priority selection #6839

Triggered via push June 11, 2026 23:49
@NikolajBjornerNikolajBjorner
pushed 96ac8bf
solver_parallel
Status Success
Total duration 20m 38s
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.2 is already installed and up-to-date. To reinstall 1.13.2, 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