projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: beb261d) | patch
Make one CI job not use libpoly (#8261)
authorGereon Kremer <gkremer@cs.stanford.edu>
Tue, 8 Mar 2022 20:34:48 +0000 (21:34 +0100)
committerGitHub <noreply@github.com>
Tue, 8 Mar 2022 20:34:48 +0000 (20:34 +0000)
commit8433aefa354d8b2815f8ea8f93a2b09d3a4bf36c
treec13bb0fc27a6afb7099f8f40d13aa681961f100ctree
parentbeb261d1ea803818e0b33ab8f96d23f2495530a5commit | diff
Make one CI job not use libpoly (#8261)

This PR fixes a regression that was missing the REQUIRES: poly annotation. To avoid these issues in the future, we add --no-poly to one of the CI jobs.
.github/workflows/ci.yml diff | blob | history
test/regress/regress0/nl/issue8226-ran-refinement.smt2 diff | blob | history