From c5bdd0ed9be3f7cf3d53fe6a8b37a36f292086dd Mon Sep 17 00:00:00 2001 From: Remy Degenne Date: Wed, 21 Jan 2026 09:11:10 +0100 Subject: [PATCH] update CI --- .github/workflows/blueprint.yml | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml index d7846650..ec7c169f 100644 --- a/.github/workflows/blueprint.yml +++ b/.github/workflows/blueprint.yml @@ -28,12 +28,8 @@ jobs: - name: Cleanup to free disk space uses: jlumbroso/free-disk-space@main with: - # this might remove tools that are actually needed, - # if set to "true" but frees about 6 GB tool-cache: false - # all of these default to true, but feel free to set to - # "false" if necessary for your workflow - android: true + android: true # saves approximately 12 GB dotnet: false haskell: false large-packages: false @@ -41,16 +37,15 @@ jobs: swap-storage: false - name: Checkout project - uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0 + uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1 with: fetch-depth: 0 # Fetch all history for all branches and tags - name: Build and lint project - uses: leanprover/lean-action@434f25c2f80ded67bba02502ad3a86f25db50709 # 2025-07-02 + uses: leanprover/lean-action@c544e89643240c6b398f14a431bcdc6309e36b3e # v1.4.0 with: - build: true - lint: true - mk_all-check: true + use-github-cache: false + build-args: :blueprint - name: Compile blueprint and documentation uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26