Try to look at leanc.sh

leanprover · Sep 4, 2024 · f19b174 · f19b174
1 parent 883a80e
commit f19b174
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -376,6 +376,7 @@ jobs:
           fi
           # contortion to support empty OPTIONS with old macOS bash
           cmake .. --preset ${{ matrix.CMAKE_PRESET || 'release' }} -B . ${{ matrix.CMAKE_OPTIONS }} ${OPTIONS[@]+"${OPTIONS[@]}"} -DLEAN_INSTALL_PREFIX=$PWD/..
+          cat stage1/leanc.sh
           VERBOSE=1 time make -j$NPROC
       - name: Install
         run: |