From eb5eed0861aa9cfebc534994f9af1cc503296850 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com> Date: Thu, 4 Jul 2024 23:09:38 +0200 Subject: [PATCH] perf: speed up CI --- .github/workflows/build.yml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index a9a40617..0e840e35 100644 --- 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: |