chore: debug mismatch w/ CI lake cache

2026-04-17 09:34:09 +00:00 · 2026-04-08 16:08:02 +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/Leanc.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 }}