Merge pull request #5 from Khady/dependabot/github_actions/actions/de…

…ploy-pages-4 Bump actions/deploy-pages from 3 to 4
Khady · Dec 23, 2023 · 6cc9ac9 · 6cc9ac9
2 parents 551481d + 52416c3
commit 6cc9ac9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy-doc.yml b/.github/workflows/deploy-doc.yml
@@ -54,4 +54,4 @@ jobs:
 
       - name: Deploy odoc to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v3
+        uses: actions/deploy-pages@v4