Tentative fix.

coq · Jun 20, 2024 · eef25e4 · eef25e4
1 parent 3f88b88
commit eef25e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -67,7 +67,7 @@ jobs:
       - uses: actions/configure-pages@v5
       - uses: actions/upload-pages-artifact@v3
         with:
-          path: .
+          path: artifact/
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4