diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml index 7f449e4..7bcab26 100644 --- 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 - \ No newline at end of file + + - 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' + \ No newline at end of file diff --git a/action.yaml b/action.yaml index 77d92b9..8d0c812 100644 --- 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 }}