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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-test (ubuntu-latest, 5)
20m 26s
build-test (macos-latest, 5)
15m 38s
36m 4s