From 144db355ea259b0873b2f3d78795ffbd0994c787 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Thu, 26 Mar 2026 21:50:03 +0100 Subject: [PATCH] fix: rebootstrap cache in github CI (#13143) The old approach isn't smart enough to trick the lake cache anymore. Making an explicit update-stage0 commit will make it work again. --- .github/workflows/build-template.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build-template.yml b/.github/workflows/build-template.yml index 5562d27e3a..fe6dfaa6de 100644 --- a/.github/workflows/build-template.yml +++ b/.github/workflows/build-template.yml @@ -276,10 +276,10 @@ jobs: - name: Check rebootstrap run: | set -e - # clean rebuild in case of Makefile changes/Lake does not detect uncommited stage 0 - # changes yet + git config user.email "stage0@lean-fro.org" + git config user.name "update-stage0" make -C build update-stage0 - make -C build/stage1 clean-stdlib + git commit --allow-empty -m "chore: update-stage0" time make -C build -j$NPROC time ctest --preset ${{ matrix.CMAKE_PRESET || 'release' }} --test-dir build/stage1 -j$NPROC if: matrix.check-rebootstrap