diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml index d3a8a024..7c1df4dc 100644 --- a/.github/workflows/deploy_docs.yml +++ b/.github/workflows/deploy_docs.yml @@ -1,23 +1,18 @@ -name: Documenter +name: Documentation on: push: branches: - master - tags: [v*] + tags: '*' pull_request: - workflow_dispatch: - -concurrency: - group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} - cancel-in-progress: true + types: [opened, synchronize, reopened] jobs: - docdeploy: + build: # These permissions are needed to: # - Deploy the documentation: https://documenter.juliadocs.org/stable/man/hosting/#Permissions # - Delete old caches: https://github.com/julia-actions/cache#usage permissions: - actions: write contents: write pull-requests: read statuses: write