follows PR #1839 to UniMath

Author: rmatthes

.github/workflows/blank.yml

@@ -28,21 +28,21 @@ jobs:
     steps:
       # Checkout UniMath in the current directory.
       - name: Checkout UniMath
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           repository: UniMath/UniMath
           path: .
           clean: false
 
       # Checkout TypeTheory in TypeTheory/
       - name: Checkout largecatmodules
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           path: largecatmodules
 
       # 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: largecatmodules-coq-${{ matrix.coq-version }}-${{ github.run_id }}-${{ github.run_number }}

dune-project

@@ -1,3 +1,3 @@
-(lang dune 3.5)
-(using coq 0.6)
+(lang dune 3.8)
+(using coq 0.8)