diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index da97a2cd2..7dd080f71 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -99,6 +99,7 @@ jobs: if: steps.restore-deps.outputs.cache-hit != 'true' run: | ./contrib/get-antlr-3.4 + ./contrib/get-poly ./contrib/get-symfpu ./contrib/get-cadical ./contrib/get-cryptominisat @@ -136,6 +137,7 @@ jobs: run: | ${{ matrix.env }} ./configure.sh ${{ matrix.config }} \ --python3 \ + --poly \ --prefix=$(pwd)/build/install \ --unit-testing |