From 0c624fd415e1bd774f54810fdde506fb34853756 Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Fri, 12 Apr 2024 00:46:50 +0200
Subject: [PATCH] Update binary-build.yml

---
 .github/workflows/binary-build.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

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