diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 411951bc14882c9bf859645ee673cdcfb9f734ea..63bf2ca8f9fd668e618565f97c05ed16ad855737 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -5,9 +5,26 @@ on: branches: [master] pull_request: branches: [master] + # 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 one concurrent deployment +concurrency: + group: "pages" + cancel-in-progress: true jobs: build: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} runs-on: ubuntu-latest strategy: matrix: