Add test w/ and w/o comment enabled

runtimeverification · Mar 16, 2024 · 0473425 · 0473425
1 parent 915a1bb
commit 0473425
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 2 deletions.
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -39,4 +39,14 @@ jobs:
           repo: ${{ matrix.value }}
           token: ${{ secrets.JENKINS_GITHUB_PAT }}
           debug: --dry-run
-
+
+      - name: 'Automerge runtimeverification/${{ matrix.value }}'
+        uses: ./ # This uses the action in the root directory
+        id: automerge-comment
+        with:
+          org: 'runtimeverification'
+          repo: ${{ matrix.value }}
+          token: ${{ secrets.JENKINS_GITHUB_PAT }}
+          debug: --dry-run
+          comment: 'true'
+
diff --git a/action.yaml b/action.yaml
@@ -18,6 +18,10 @@ inputs:
     description: 'Debug mode'
     required: false
     default: ''
+  comment:
+    description: 'Use Predefined comment'
+    required: false
+    default: 'false'
 outputs: 
   merged:
     value: ${{ steps.automerge.outputs.merged }}
@@ -54,5 +58,8 @@ runs:
         GITHUB_TOKEN: ${{ inputs.token }}
       working-directory: tmp-${{ inputs.repo }}
       run: |
-        python3 ${{ github.action_path }}/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }} ${{ inputs.debug }}
+        if {{ inputs.comment }} == 'true'; then
+          python3 ${{ github.action_path }}/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }} --comment
+        else
+          python3 ${{ github.action_path }}/src/automerge.py --org ${{ inputs.org }} --repo ${{ inputs.repo }} ${{ inputs.debug }}