Update push.yml

fpvandoorn · Jul 6, 2024 · 7d66160 · 7d66160
1 parent 444da32
commit 7d66160
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -77,12 +77,10 @@ jobs:
         run: |
           cd blueprint && pip install -r requirements.txt
 
-      - name: Generate XeLaTeX format
-        run: |
-          sudo fmtutil-sys --all
-
       - name: Build blueprint and copy to `docs/blueprint`
-        run: inv all
+        run: |
+          sudo fmtutil-sys --all # Generate XeLaTeX format
+          inv all
 
       - name: Remove lake files from documentation
         run: |