perf: speed up CI

leanprover · Jul 4, 2024 · 5cf3352 · 5cf3352
1 parent ca743c1
commit 5cf3352
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -12,7 +12,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repo
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: install elan
         run: |
@@ -21,12 +21,10 @@ jobs:
           ~/.elan/bin/lean --version
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
 
-      - name: Checkout and compile batteries
+      - name: Checkout batteries
         run: |
           cd ../
           git clone https://github.com/leanprover-community/batteries
-          cd batteries
-          lake build
 
       - name: generate docs
         run: |