chore: add docbuild setup test in push_pr.yml

fpvandoorn · Jan 4, 2025 · 6a0e16d · 6a0e16d
1 parent 3523bfe
commit 6a0e16d
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/.github/workflows/push_pr.yml b/.github/workflows/push_pr.yml
@@ -29,6 +29,21 @@ jobs:
       - name: Build project
         run: ~/.elan/bin/lake build Carleson
 
+      - name: Setup symlinks between project and docbuild
+        working-directory: docbuild
+        run: |
+          mkdir -p .lake/packages
+          for package_path in ../.lake/packages/*; do
+            package=$(basename $package_path)
+            ln -s ../../../.lake/packages/$package .lake/packages/$package
+          done
+
+      - name: Test carleson update in docbuild
+        working-directory: docbuild
+        run: |
+          ~/.elan/bin/lake update carleson || true
+          #~/.elan/bin/lake build Carleson:docs
+
       - name: Build blueprint and copy to `docs/blueprint`
         uses: xu-cheng/texlive-action@v2
         with: