diff --git a/.github/workflows/builddocs.yml b/.github/workflows/builddocs.yml index 14290543b..c8587ee50 100644 --- a/.github/workflows/builddocs.yml +++ b/.github/workflows/builddocs.yml @@ -49,4 +49,4 @@ jobs: path: 'Docs/_site' - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v4 + uses: actions/deploy-pages@v3