Merge pull request #1 from firedrakeproject/JDBetteridge/keep_alive

Add magic code to keep building docs
firedrakeproject · Jul 22, 2024 · 0865c33 · 0865c33
2 parents 2499bf5 + 74388e4
commit 0865c33
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -49,6 +49,10 @@ jobs:
           name: github-pages
           path: /__w/gusto-docs/gusto-docs/docs/build/html
           retention-days: 1
+      - name: Keep alive commit
+        uses: gautamkrishnar/keepalive-workflow@v1
+        with:
+          time_elapsed: 30
   deploy:
     name: Deploy Github pages
     needs: build_website