diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a1364dd94c67..0b8cde5be031 100644
--- 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: |