From fe94c999c6aff927e0c28c31b4edacf503d18871 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Miroslav=20=C5=A0ediv=C3=BD?= Date: Wed, 2 Apr 2025 00:05:45 +0200 Subject: [PATCH] update deploy pages. --- .github/workflows/webpage_deploy.yml | 21 ++++++++++++++++----- 1 file changed, 16 insertions(+), 5 deletions(-) diff --git a/.github/workflows/webpage_deploy.yml b/.github/workflows/webpage_deploy.yml index 51d29130..f99925da 100644 --- a/.github/workflows/webpage_deploy.yml +++ b/.github/workflows/webpage_deploy.yml @@ -1,6 +1,7 @@ name: Build and Deploy Webpage to GitHub Pages on: + # Runs on pushes targeting the default branch push: branches: - master @@ -9,6 +10,21 @@ on: - .github/workflows/webpage_build.yml - .github/workflows/webpage_deploy.yml + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages +permissions: + contents: read + pages: write + id-token: write + +# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. +# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. +concurrency: + group: "pages" + cancel-in-progress: false + jobs: build-webpage: name: Build Webpage @@ -19,11 +35,6 @@ jobs: name: Deploy to GitHub Pages needs: build-webpage - # Grant GITHUB_TOKEN the permissions required to make a Pages deployment - permissions: - pages: write # to deploy to Pages - id-token: write # to verify the deployment originates from an appropriate source - # Deploy to the github-pages environment environment: name: github-pages