chore: debug mismatch w/ CI lake cache

2026-04-08 05:04:07 +00:00 · 2026-04-07 00:15:05 +00:00
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/build-template.yml
+++ b/.github/workflows/build-template.yml
@@ -201,6 +201,7 @@ jobs:
        if: matrix.name == 'Linux Lake' && !cancelled() && (github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository)
        run: |
          curl --version
+          cat build/stage1/lib/lean/Init/Prelude.trace
          cd src
          time ../build/stage0/bin/lake build -o ../build/lake-mappings.jsonl
          time ../build/stage0/bin/lake cache put ../build/lake-mappings.jsonl --repo=${{ github.repository }}