Tweak style check

benedikt-schesch · Sep 19, 2024 · 850d102 · 850d102
1 parent 049c389
commit 850d102
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check-style.yml b/.github/workflows/check-style.yml
@@ -26,4 +26,4 @@ jobs:
     - name: Check style
       run: make check-style
     - name: Check script diffs
-      run: cd src/scripts/merge_tools && check-implementations.sh
+      run: pwd && cd src/scripts/merge_tools && pwd && ls && ./check-implementations.sh