empty!

have a name!
fix: rebootstrap cache in github CI
2026-03-31 01:04:07 +00:00 · 2026-03-26 20:37:47 +00:00 · 2026-03-26 20:00:38 +00:00 · 2026-03-26 19:28:47 +00:00
1 changed files with 3 additions and 3 deletions
--- 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
Author	SHA1	Message	Date
Henrik Böving	7b94ad1b0e	empty!	2026-03-26 20:37:47 +00:00
Henrik Böving	e2dbc06029	have a name!	2026-03-26 20:00:38 +00:00
Henrik Böving	6dc0528ff3	fix: rebootstrap cache in github CI	2026-03-26 19:28:47 +00:00