Skip to content
OCaml Binding CI (Ubuntu + macOS)

nla_grobner: add mod_residue pattern to propagate_quotients #6297

Sign in to view logs

nla_grobner: add mod_residue pattern to propagate_quotients

nla_grobner: add mod_residue pattern to propagate_quotients #6297

Re-run triggered May 22, 2026 23:14
@agurfinkelagurfinkel
#9597
1arie1:ag/mod_residue
Status Success
Total duration 20m 54s
Artifacts –

ocaml.yaml

on: pull_request
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