diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-31 21:16:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-31 19:16:05 +0000 |
commit | b7210ed60d517aebb25c23a2f407ee59562587dd (patch) | |
tree | 082a225b399f5db85d3cda3dfe0c410090244433 /.github | |
parent | a779d33c559e5e494e71ca1a0c744d0275b31b5c (diff) |
Refactor SymFPU dependency (#6218)
This PR refactors the contrib script to download SymFPU to a cmake external project.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d18eefc35..5ebdc30b8 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -119,7 +119,6 @@ jobs: if: steps.restore-deps.outputs.cache-hit != 'true' run: | ./contrib/get-poly - ./contrib/get-symfpu ./contrib/get-cadical ./contrib/get-cryptominisat ./contrib/get-lfsc-checker |