Cache and install required apt packages for blueprint

fpvandoorn · Jul 6, 2024 · 8b64501 · 8b64501
1 parent 5845a09
commit 8b64501
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -38,7 +38,7 @@ jobs:
           curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain leanprover/lean4:4.0.0 # Install Lean 4
 
       - name: Update docgen4
-        run: ~/.elan/bin/lake -R -Kenv=dev update «doc-gen4»
+        run: ~/.elan/bin/lake -R -Kenv=dev update doc-gen4
 
       - name: Get cache
         run: ~/.elan/bin/lake -Kenv=dev exe cache get || true
@@ -70,10 +70,12 @@ jobs:
           python-version: '3.9'
           cache: 'pip'
 
-      - name: Install blueprint apt dependencies
-        run: |
-          sudo apt-get update
-          sudo apt-get install -y graphviz libgraphviz-dev pdf2svg dvisvgm texlive-full # Install necessary system packages for blueprint
+      # Cache and install required apt packages for blueprint
+      - name: Cache and install blueprint apt dependencies
+        uses: awalsh128/cache-apt-pkgs-action@latest
+        with:
+          packages: graphviz libgraphviz-dev pdf2svg dvisvgm texlive-full
+          version: 1.0
 
       - name: Install blueprint dependencies
         run: |