Browse Source

chore: hide bot comment for time being

pull/1892/head
Wing-Kam Wong 2 years ago
parent
commit
1b16bc6767
  1. 24
      .github/workflows/release-pr.yml

24
.github/workflows/release-pr.yml

@ -70,18 +70,26 @@ jobs:
secrets:
DOCKERHUB_USERNAME: "${{ secrets.DOCKERHUB_USERNAME }}"
DOCKERHUB_TOKEN: "${{ secrets.DOCKERHUB_TOKEN }}"
leave-comment:
runs-on: 'ubuntu-latest'
needs: [release-docker, set-tag]
steps:
- uses: peter-evans/commit-comment@v2
with:
body: |
The PR changes have been deployed. Pleae run the following command to verify:
```
docker run -d -p 8888:8080 nocodb-timely:${{ needs.set-tag.outputs.current_version }}-${{ needs.set-tag.outputs.target_tag }}
```
- run: |
echo docker run -d -p 8888:8080 nocodb-timely:${{ needs.set-tag.outputs.current_version }}-${{ needs.set-tag.outputs.target_tag }}
# Uncomment it after testing
# leave-comment:
# runs-on: 'ubuntu-latest'
# needs: [release-docker, set-tag]
# steps:
# - uses: peter-evans/commit-comment@v2
# with:
# body: |
# The PR changes have been deployed. Pleae run the following command to verify:
# ```
# docker run -d -p 8888:8080 nocodb-timely:${{ needs.set-tag.outputs.current_version }}-${{ needs.set-tag.outputs.target_tag }}
# ```
# if-merged:
# if: github.event.pull_request.merged == true

Loading…
Cancel
Save