From 7d6616010d68fd195a03e721c3437ca254b06540 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Sat, 6 Jul 2024 16:17:17 +0200
Subject: [PATCH] Update push.yml

---
 .github/workflows/push.yml | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index bf08666..f9c6990 100644
--- 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: |