[DO NOT REVIEW] Debug CMake failures

See jobs like https://github.com/diffblue/cbmc/actions/runs/10677152028/job/29591809621
tautschnig · Sep 3, 2024 · 5877276 · 5877276
1 parent 27b845c
commit 5877276
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml
@@ -243,7 +243,10 @@ jobs:
           echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
           echo "CCACHE_DIR=$PWD/.ccache" >> $GITHUB_ENV
       - name: Configure using CMake
-        run: cmake -S . -B build -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/gcc -DCMAKE_CXX_COMPILER=/usr/bin/g++ -Dsat_impl="minisat2;cadical"
+        run: |
+          pwd
+          ls -la /home/runner/work/cbmc/unit/unit_tests.cpp
+          cmake -S . -B build -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=/usr/bin/gcc -DCMAKE_CXX_COMPILER=/usr/bin/g++ -Dsat_impl="minisat2;cadical"
       - name: Check that doc task works
         run: ninja -C build doc
       - name: Zero ccache stats and limit in size