pass flag --dry-run instead of bool

runtimeverification · Feb 14, 2024 · aad8f48 · aad8f48
1 parent 718b183
commit aad8f48
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -37,4 +37,4 @@ jobs:
           org: 'runtimeverification'
           repo: ${{ matrix.value }}
           token: ${{ secrets.JENKINS_GITHUB_PAT }}
-          debug: true
+          debug: --dry-run
diff --git a/action.yaml b/action.yaml
@@ -17,7 +17,7 @@ inputs:
   debug:
     description: 'Debug mode'
     required: false
-    default: 'false'
+    default: ''
 outputs: 
   merged:
     value: ${{ steps.automerge.outputs.merged }}
@@ -53,5 +53,5 @@ runs:
       env:
         GITHUB_TOKEN: ${{ inputs.token }}
       working-directory: tmp-${{ inputs.repo }}
-      run: python3 ${{ github.action_path }}/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }} --dry-run ${{ inputs.debug }}
+      run: python3 ${{ github.action_path }}/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }} ${{ inputs.debug }}