From 8433aefa354d8b2815f8ea8f93a2b09d3a4bf36c Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Tue, 8 Mar 2022 21:34:48 +0100 Subject: [PATCH] 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 | 2 +- test/regress/regress0/nl/issue8226-ran-refinement.smt2 | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f79085f82..3e9c470fe 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -30,7 +30,7 @@ jobs: - name: ubuntu:production-clang os: ubuntu-18.04 env: CC=clang CXX=clang++ - config: production --auto-download + config: production --auto-download --no-poly cache-key: productionclang check-examples: true exclude_regress: 3-4 diff --git a/test/regress/regress0/nl/issue8226-ran-refinement.smt2 b/test/regress/regress0/nl/issue8226-ran-refinement.smt2 index 8ce6f1273..c917f4057 100644 --- a/test/regress/regress0/nl/issue8226-ran-refinement.smt2 +++ b/test/regress/regress0/nl/issue8226-ran-refinement.smt2 @@ -1,4 +1,5 @@ ;; needs --check-models, as --debug-check-models does not trigger the issue +; REQUIRES: poly ; COMMAND-LINE: --check-models ; EXPECT: sat (set-logic QF_NRA) -- 2.30.2