Skip to content
OCaml Binding CI (Ubuntu + macOS)

spacer: enable model completion in arith qe_project (#9776) #6664

Sign in to view logs

spacer: enable model completion in arith qe_project (#9776)

spacer: enable model completion in arith qe_project (#9776) #6664

Triggered via push June 9, 2026 02:35
@NikolajBjornerNikolajBjorner
pushed aa872bd
master
Status Success
Total duration 20m 31s
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