avoid merge commit

joelmccracken · Dec 27, 2024 · 5b9ead9 · 5b9ead9
1 parent 6d1bb25
commit 5b9ead9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ws_tool.yaml b/.github/workflows/ws_tool.yaml
@@ -26,4 +26,5 @@ jobs:
       - uses: actions/checkout@v4
         with:
           submodules: recursive
+          ref: ${{ github.event.pull_request.head.ref }}
       - run: ws_tool/test/bats/bin/bats ws_tool/test