From df073fef14ea16dbc607d744dc2b561aa8e98227 Mon Sep 17 00:00:00 2001 From: mchilli Date: Mon, 9 Oct 2023 16:05:16 +0200 Subject: [PATCH] update workflow --- .github/workflows/update-github-pages.yml | 27 ++++++++++++++++++----- 1 file changed, 22 insertions(+), 5 deletions(-) diff --git a/.github/workflows/update-github-pages.yml b/.github/workflows/update-github-pages.yml index b67fb1e..dbfd89d 100644 --- a/.github/workflows/update-github-pages.yml +++ b/.github/workflows/update-github-pages.yml @@ -7,16 +7,33 @@ on: paths: - 'webui/**' + workflow_dispatch: + +permissions: + contents: read + pages: write + id-token: write + +concurrency: + group: 'pages' + cancel-in-progress: false + jobs: deploy: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} runs-on: ubuntu-latest steps: - name: Checkout uses: actions/checkout@v3 - - - name: Deploy to GitHub Pages - uses: peaceiris/actions-gh-pages@v3 + - name: Setup Pages + uses: actions/configure-pages@v3 + - name: Upload artifact + uses: actions/upload-pages-artifact@v2 with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./webui + path: './webui' + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v2