build before lake exe graph in CI

YaelDillies · Jan 30, 2025 · b12de8a · b12de8a
1 parent cf6500d
commit b12de8a
Showing 1 changed file with 6 additions and 7 deletions.
diff --git a/.github/workflows/push_master.yml b/.github/workflows/push_master.yml
@@ -36,13 +36,6 @@ jobs:
       - name: Copy README.md to website/index.md
         run: cp README.md website/index.md
 
-      - name: Print files to upstream
-        run: |
-          mkdir -p website/_includes
-          python3 scripts/upstreaming_dashboard.py
-          python3 scripts/import_graph.py
-
-
       - name: Install elan
         run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.0.0
 
@@ -52,6 +45,12 @@ jobs:
       - name: Build project
         run: ~/.elan/bin/lake build LeanCamCombi
 
+      - name: Print files to upstream
+        run: |
+          mkdir -p website/_includes
+          python3 scripts/upstreaming_dashboard.py
+          python3 scripts/import_graph.py
+
       - name: Cache dependencies docs
         uses: actions/cache@v3
         with: