diff --git a/.github/workflows/mdbook.yml b/.github/workflows/mdbook.yml index d9d9d57..e0a7239 100644 --- a/.github/workflows/mdbook.yml +++ b/.github/workflows/mdbook.yml @@ -3,15 +3,14 @@ name: Deploy mdBook site to Pages on: push: branches: [ "master" ] + 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: true