testing docs

firedrakeproject · Nov 12, 2024 · 91f3e5f · 91f3e5f
1 parent 8953515
commit 91f3e5f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -66,7 +66,7 @@ jobs:
   deploy:
     name: Deploy Github pages
     needs: build_docs
-    if: ${{ github.ref == 'refs/heads/master' }}
+    if: ${{ github.ref == 'refs/heads/dolci/disk_checkpointing' }}
     permissions:
       pages: write
       id-token: write