We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d851414 commit 747040cCopy full SHA for 747040c
.github/workflows/PrPingReciever.yml
@@ -14,7 +14,7 @@ jobs:
14
- name: PR ID
15
if: github.event.action == 'prupdate' && github.event.sender.login == 'JuliaControlBot'
16
run: |
17
- echo "PR id: '${{ github.event.client_payload.pr_number }}'
+ echo "PR id: '${{ github.event.client_payload.pr_number }}'"
18
- name: Plots and comment
19
env:
20
ACCESS_TOKEN_BOT: ${{ secrets.ACCESS_TOKEN_BOT }}
0 commit comments