File tree Expand file tree Collapse file tree 1 file changed +6
-9
lines changed Expand file tree Collapse file tree 1 file changed +6
-9
lines changed Original file line number Diff line number Diff line change @@ -10,15 +10,12 @@ jobs:
10
10
- name : Wait for commands
11
11
id : read_commands
12
12
run : |
13
- while true; do
14
- ci_commands=$(curl -sH "Authorization: token ${{ secrets.GITHUB_TOKEN }}" -X GET "${{ github.event.pull_request.comments_url }}" | jq -r ".[] | select(.body | startswith(\"/run-actions\")) | .body")
15
- if [ ! -z "$ci_commands" ]; then
16
- echo "Read commands $ci_commands"
17
- echo "ci_commands=$ci_commands" >> $GITHUB_OUTPUT
18
- break
19
- fi
20
- sleep 30
21
- done
13
+ ci_commands=$(curl -sH "Authorization: token ${{ secrets.GITHUB_TOKEN }}" -X GET "${{ github.event.pull_request.comments_url }}" | jq -r ".[] | select(.body | startswith(\"/run-actions\")) | .body")
14
+ if [ ! -z "$ci_commands" ]; then
15
+ echo "Read commands $ci_commands"
16
+ echo "ci_commands=$ci_commands" >> $GITHUB_OUTPUT
17
+ break
18
+ fi
22
19
23
20
- uses : actions/checkout@v3
24
21
- uses : julia-actions/setup-julia@v1
You can’t perform that action at this time.
0 commit comments