From d6f960d4874e8ffe2c305786610472aac7f0eebd Mon Sep 17 00:00:00 2001 From: Iglesia Dolci Date: Tue, 12 Nov 2024 22:08:52 +0000 Subject: [PATCH] dd --- .github/workflows/docs.yml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index a7c1e93a5c..34086ead44 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -5,7 +5,6 @@ on: push: branches: - master - - dolci/disk_checkpointing # And all pull requests pull_request: @@ -42,7 +41,7 @@ jobs: cd docs make validate-bibtex - name: Check documentation links - if: ${{ github.ref == 'refs/heads/master' || github.ref == 'refs/heads/dolci/disk_checkpointing' }} + if: ${{ github.ref == 'refs/heads/master' }} run: | . /home/firedrake/firedrake/bin/activate cd docs @@ -67,7 +66,7 @@ jobs: deploy: name: Deploy Github pages needs: build_docs - if: ${{ github.ref == 'refs/heads/master' || github.ref == 'refs/heads/dolci/disk_checkpointing' }} + if: ${{ github.ref == 'refs/heads/master' }} permissions: pages: write id-token: write