From cc8133c7bc17edc971c7a4d95aebfdf7c13a063e Mon Sep 17 00:00:00 2001 From: RedstoneWizard08 Date: Mon, 9 Sep 2024 20:55:18 -0700 Subject: [PATCH] Fix docs action --- .github/workflows/docs.yml | 22 ++++++++++++++----- .../.idea/workspace.xml | 12 ++-------- docs/toc.yml | 2 +- 3 files changed, 20 insertions(+), 16 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index f4331d4..dfad971 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,13 +1,21 @@ name: Deploy to Pages -on: [push] +on: [push, workflow_dispatch] permissions: + pages: write contents: write + id-token: write + +concurrency: + group: "pages" + cancel-in-progress: false jobs: deploy: runs-on: ubuntu-latest - + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} steps: - name: Checkout uses: actions/checkout@v4 @@ -25,7 +33,11 @@ jobs: chmod +x build.sh ./build.sh -t Docs - - name: Deploy to GitHub Pages - uses: JamesIves/github-pages-deploy-action@v4 + - name: Upload artifact + uses: actions/upload-pages-artifact@v3 with: - folder: docs/_site + path: docs/_site + + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v4 diff --git a/.idea/.idea.ConfigurableWarning/.idea/workspace.xml b/.idea/.idea.ConfigurableWarning/.idea/workspace.xml index 3fe503c..71690fb 100644 --- a/.idea/.idea.ConfigurableWarning/.idea/workspace.xml +++ b/.idea/.idea.ConfigurableWarning/.idea/workspace.xml @@ -8,15 +8,7 @@ - - - - - - - - - +