From 2408e4b20408406db8c334ca01245f0c9a0a963f Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Fri, 5 Jul 2024 16:42:54 +0200
Subject: [PATCH] Update push.yml

---
 .github/workflows/push.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 183e6a90..2d884436 100644
--- 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