debug 02

hebasto · Aug 15, 2023 · d162f0c · d162f0c
1 parent 0309b7e
commit d162f0c
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -45,8 +45,10 @@ jobs:
         # Use the bash shell included with Git for Windows.
         shell: bash
         run: |
-          file build/src/RelWithDebInfo/*tests* || true
-          file build/src/RelWithDebInfo/bench* || true
+          file build/src/RelWithDebInfo/*tests.exe || true
+          file build/src/RelWithDebInfo/bench*.exe || true
+          echo --------------------------------------------------------------------------
+          ls -la build/src/RelWithDebInfo
 
       # - name: Check
       #   run: |