4 files changed, 14 insertions, 13 deletions

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index eb87a63..f89cb3a 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -10,11 +10,11 @@ env:
   PS_PACKAGES: libps4000 libps5000 libps6000
   GMP_PACKAGES: libgmp-dev libmpfr-dev libmpc-dev
   FLINT_PACKAGES: libflint-dev
-  OTHER_PACKAGES: pandoc swig gcc libpcsclite-dev llvm-10 libllvm10 llvm-10-dev libpari-dev pari-gp pari-seadata gcc-arm-none-eabi binutils-arm-none-eabi libnewlib-arm-none-eabi
+  OTHER_PACKAGES: pandoc swig gcc libpcsclite-dev llvm-14 libllvm14 llvm-14-dev libpari-dev pari-gp pari-seadata gcc-arm-none-eabi binutils-arm-none-eabi libnewlib-arm-none-eabi
 
 jobs:
   docs:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
     # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
     permissions:
       pages: write      # to deploy to Pages
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 57dcf0f..f71c28e 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -3,14 +3,15 @@ name: Lint
 on: [push, pull_request]
 
 env:
-  LLVM_CONFIG: /usr/bin/llvm-config-10
+  LLVM_CONFIG: /usr/bin/llvm-config-14
   PS_PACKAGES: libps4000 libps5000 libps6000
   GMP_PACKAGES: libgmp-dev libmpfr-dev libmpc-dev
-  OTHER_PACKAGES: swig gcc libpcsclite-dev llvm-10 libllvm10 llvm-10-dev libpari-dev pari-gp pari-seadata
+  FLINT_PACKAGES: libflint-dev
+  OTHER_PACKAGES: swig gcc libpcsclite-dev llvm-14 libllvm14 llvm-14-dev libpari-dev pari-gp pari-seadata
 
 jobs:
   lint:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
         with:
@@ -32,7 +33,7 @@ jobs:
           sudo apt-get update
       - name: Install system dependencies
         run: |
-          sudo apt-get install -y $PS_PACKAGES $OTHER_PACKAGES $GMP_PACKAGES
+          sudo apt-get install -y $PS_PACKAGES $OTHER_PACKAGES $GMP_PACKAGES $FLINT_PACKAGES
       - name: Install picoscope bindings
         run: |
           python -m pip install -U pip setuptools wheel
@@ -40,7 +41,7 @@ jobs:
           git clone https://github.com/picotech/picosdk-python-wrappers && cd picosdk-python-wrappers && pip install . && cd ..
       - name: Install dependencies
         run: |
-          pip install -e ".[picoscope_sdk, picoscope_alt, chipwhisperer, smartcard, gmp, leia, test, dev]"
+          pip install -e ".[picoscope_sdk, picoscope_alt, chipwhisperer, smartcard, gmp, flint, leia, test, dev]"
       - name: Typecheck
         run: |
           make typecheck
diff --git a/.github/workflows/perf.yml b/.github/workflows/perf.yml
index ca3b1ae..8425693 100644
--- a/.github/workflows/perf.yml
+++ b/.github/workflows/perf.yml
@@ -3,15 +3,15 @@ name: Perf
 on: [push, pull_request]
 
 env:
-  LLVM_CONFIG: /usr/bin/llvm-config-10
+  LLVM_CONFIG: /usr/bin/llvm-config-14
   PS_PACKAGES: libps4000 libps5000 libps6000
   GMP_PACKAGES: libgmp-dev libmpfr-dev libmpc-dev
   FLINT_PACKAGES: libflint-dev
-  OTHER_PACKAGES: swig gcc libpcsclite-dev llvm-10 libllvm10 llvm-10-dev libpari-dev pari-gp pari-seadata
+  OTHER_PACKAGES: swig gcc libpcsclite-dev llvm-14 libllvm14 llvm-14-dev libpari-dev pari-gp pari-seadata
 
 jobs:
   perf:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
     strategy:
       matrix:
         python-version: ["3.9", "3.10", "3.11", "3.12"]
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 95d6a3b..4de281d 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -3,15 +3,15 @@ name: Test
 on: [push, pull_request]
 
 env:
-  LLVM_CONFIG: /usr/bin/llvm-config-10
+  LLVM_CONFIG: /usr/bin/llvm-config-14
   PS_PACKAGES: libps4000 libps5000 libps6000
   GMP_PACKAGES: libgmp-dev libmpfr-dev libmpc-dev
   FLINT_PACKAGES: libflint-dev
-  OTHER_PACKAGES: swig gcc libpcsclite-dev llvm-10 libllvm10 llvm-10-dev libpari-dev pari-gp pari-seadata
+  OTHER_PACKAGES: swig gcc libpcsclite-dev llvm-14 libllvm14 llvm-14-dev libpari-dev pari-gp pari-seadata
 
 jobs:
   test:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
     strategy:
       matrix:
         python-version: ["3.9", "3.10", "3.11", "3.12"]