Update push.yml

fpvandoorn · Jul 5, 2024 · 2408e4b · 2408e4b
1 parent bf3c9a2
commit 2408e4b
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -2,6 +2,7 @@ on:
   push:
     branches:
       - master
+      - gh-pages-test
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
@@ -77,6 +78,11 @@ jobs:
       - name: Build blueprint and copy to `docs/blueprint`
         run: inv all
 
+      - name: Remove lake files from documentation
+        run: |
+          find .lake/build/doc -name "*.trace" -delete
+          find .lake/build/doc -name "*.hash" -delete
+
       - name: Copy documentation to `docs/docs`
         run: |
           sudo chown -R runner docs