From f48bd250e7c09bd086b815c305d205b068f44bd1 Mon Sep 17 00:00:00 2001 From: Caleb Date: Thu, 11 Jul 2024 10:50:36 -0400 Subject: [PATCH] Testing docs deployment workflow --- .github/workflows/build_docs.yml | 31 ++++++++++++++++++++++++------- 1 file changed, 24 insertions(+), 7 deletions(-) diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml index a7d569b8e..12a9d0f2f 100644 --- a/.github/workflows/build_docs.yml +++ b/.github/workflows/build_docs.yml @@ -1,16 +1,29 @@ -name: Build Docs - +name: Build and Deploy Docs on: push: - branches: [ master, develop, release, docs ] + branches: [docs ] + pull_request: - branches: [ master, develop, release, docs ] + branches: [release, docs ] + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +permissions: + contents: read + pull-requests: 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 -env: - OMP_NUM_THREADS: 1 - jobs: build_docs: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} name: Build Docs runs-on: ubuntu-latest steps: @@ -31,4 +44,8 @@ jobs: with: name: docs path: docs/html + + - name: Deploy Docs + id: deployment + uses: actions/deploy-pages@v4