diff --git a/.github/workflows/binary-build.yml b/.github/workflows/binary-build.yml
index cc72ed32f..3570f5e33 100644
--- a/.github/workflows/binary-build.yml
+++ b/.github/workflows/binary-build.yml
@@ -82,7 +82,15 @@ jobs:
       # and build directories, but this is only available with CMake 3.13 and higher.  
       # The CMake binaries on the Github Actions machines are (as of this writing) 3.12
       run: |
+        pwd
+        echo "end pwd"
         cd cryptominisat
+        pwd
+        echo "end pwd"
+        ls
+        echo "end list"
+        ls ../
+        echo "end list"
         cmake $GITHUB_WORKSPACE -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DENABLE_TESTING=ON  -DSTATICCOMPILE=${{ matrix.staticcompile }}
     
     - name: Configure CMake for non-linux