From a9d585ce877504245643c5ab3fda949901566146 Mon Sep 17 00:00:00 2001
From: Ralph Matthes <rmatthes@users.noreply.github.com>
Date: Wed, 7 Feb 2024 22:42:30 +0100
Subject: [PATCH] follows PR #1839 to UniMath

---
 .github/workflows/build-grpdhits.yml | 8 ++++----
 dune-project                         | 4 ++--
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/build-grpdhits.yml b/.github/workflows/build-grpdhits.yml
index 5b5b440..a9f0612 100644
--- a/.github/workflows/build-grpdhits.yml
+++ b/.github/workflows/build-grpdhits.yml
@@ -31,7 +31,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: .
@@ -39,13 +39,13 @@ jobs:
 
       # Checkout current branch in GrpdHITs/
       - name: Checkout GrpdHITs
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           path: GrpdHITs
 
       # Grab the cache if available. We tell dune to use $(pwd)/dune-cache/ in
       # the custom_script below.
-      - uses: actions/cache/restore@v3
+      - uses: actions/cache/restore@v4
         with:
           path: dune-cache
           key: GrpdHITs-coq-${{ matrix.coq-version }}-${{ github.run_id }}-${{ github.run_number }}
@@ -78,7 +78,7 @@ jobs:
         if: always ()
         run: sudo chown -R 1001:116 .
 
-      - uses: actions/cache/save@v3
+      - uses: actions/cache/save@v4
         if: always ()
         with:
           path: dune-cache
diff --git a/dune-project b/dune-project
index 5e57fda..c86a667 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 GrpdHITs)