diff options
| -rw-r--r-- | .github/workflows/tests.yml | 9 | ||||
| -rw-r--r-- | optional_requirements.txt | 2 |
2 files changed, 4 insertions, 7 deletions
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index d5885ca6..3d609cdb 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -7,7 +7,7 @@ jobs: runs-on: ubuntu-latest strategy: matrix: - python-version: ['3.6', '3.8', '3.10'] + python-version: ['3.8', '3.10'] steps: @@ -25,11 +25,8 @@ jobs: - name: Install requirements run: pip install -r requirements.txt - - name: Install llvm 8 (llvmlite compatible) - run: sudo apt-get install llvm-8 - - - name: Use llvm 8 - run: sudo update-alternatives --install /usr/bin/llvm-config llvm-config /usr/bin/llvm-config-8 1 + - name: Install llvm 11 (llvmlite compatible) + run: sudo apt-get install llvm-11 - name: Install optional requirements run: pip install -r optional_requirements.txt diff --git a/optional_requirements.txt b/optional_requirements.txt index e8e1782c..95081855 100644 --- a/optional_requirements.txt +++ b/optional_requirements.txt @@ -1,4 +1,4 @@ pycparser z3-solver==4.8.7.0 -llvmlite==0.31.0 +llvmlite==0.38.0 parameterized~=0.8.1 |