From 850d102246e24d8190dda72f723cde9f58cbef54 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Thu, 19 Sep 2024 11:30:13 -0700 Subject: [PATCH] Tweak style check --- .github/workflows/check-style.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/check-style.yml b/.github/workflows/check-style.yml index 4ec71a7ed9..663b910a11 100644 --- 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