diff --git a/.github/workflows/build-typetheory.yml b/.github/workflows/build-typetheory.yml
index 27275d3c..eaaaaa56 100644
--- a/.github/workflows/build-typetheory.yml
+++ b/.github/workflows/build-typetheory.yml
@@ -20,7 +20,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        coq-version: [dev, latest, 8.16, 8.15]
+        coq-version: [dev, latest, 8.16]
         ocaml-version: [4.14-flambda]
     name: Build with ${{ matrix.coq-version }}
     runs-on: ubuntu-22.04
@@ -28,7 +28,7 @@ jobs:
     steps:
       # Checkout UniMath in the current directory.
       - name: Checkout UniMath
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           repository: UniMath/UniMath
           path: .
@@ -36,13 +36,13 @@ jobs:
 
       # Checkout TypeTheory in TypeTheory/
       - name: Checkout TypeTheory
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           path: TypeTheory
 
       # Grab the cache if available. We tell dune to use $(pwd)/dune-cache/ in
       # the custom_script below.
-      - uses: actions/cache@v3
+      - uses: actions/cache@v4
         with:
           path: dune-cache
           key: TypeTheory-coq-${{ matrix.coq-version }}-${{ github.run_id }}-${{ github.run_number }}
diff --git a/dune-project b/dune-project
index 27fe1b51..eafc3022 100644
--- a/dune-project
+++ b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 3.5)
-(using coq 0.6)
+(lang dune 3.8)
+(using coq 0.8)
 (name TypeTheory)