diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index 28ef7876..66ab4cbe 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -26,7 +26,7 @@ jobs:
 
     steps:
       - name: Checkout tree
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Set-up Node.js
         uses: actions/setup-node@v4
@@ -48,7 +48,7 @@ jobs:
   #   runs-on: ubuntu-latest
   #   steps:
   #     - name: Checkout tree
-  #       uses: actions/checkout@v4
+  #       uses: actions/checkout@v5
   #     - name: Set-up OCaml
   #       uses: ocaml/setup-ocaml@v3
   #       with:
@@ -59,7 +59,7 @@ jobs:
   #   runs-on: ubuntu-latest
   #   steps:
   #     - name: Checkout tree
-  #       uses: actions/checkout@v4
+  #       uses: actions/checkout@v5
   #     - name: Set-up OCaml
   #       uses: ocaml/setup-ocaml@v3
   #       with:
@@ -70,7 +70,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout tree
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
       - name: Set-up OCaml
         uses: ocaml/setup-ocaml@v3
         with: