add debug mode to test w/ comment

runtimeverification · Mar 16, 2024 · 3b0add2 · 3b0add2
1 parent cd13df3
commit 3b0add2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/action.yaml b/action.yaml
@@ -60,7 +60,7 @@ runs:
       working-directory: tmp-${{ inputs.repo }}
       run: |
         if ${comment} == 'true'; then
-          python3 ${{ github.action_path }}/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }} --comment
+          python3 ${{ github.action_path }}/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }} --comment ${{ inputs.debug }}
         else
           python3 ${{ github.action_path }}/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }} ${{ inputs.debug }}
         fi