Merge pull request #14 from Khady/dependabot/github_actions/actions/c…

…onfigure-pages-5 Bump actions/configure-pages from 4 to 5
Khady · Apr 3, 2024 · 8ecae2c · 8ecae2c
2 parents 473b35e + fe8ea3f
commit 8ecae2c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml
@@ -45,7 +45,7 @@ jobs:
         run: opam exec -- dune build @doc
 
       - name: Set-up Pages
-        uses: actions/configure-pages@v4
+        uses: actions/configure-pages@v5
 
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3