mirror of
https://github.com/lupyuen/nuttx-release.git
synced 2025-01-12 15:18:30 +08:00
We no longer restart the Protected Job.
This commit is contained in:
parent
954f27aa44
commit
d4b2048dbf
1 changed files with 3 additions and 2 deletions
|
@ -20,9 +20,10 @@ do
|
|||
fi
|
||||
done
|
||||
|
||||
## Restart the Protected Job, in case a new merge has cancelled it.
|
||||
## UPDATE: We no longer restart the Protected Job.
|
||||
## Previously: Restart the Protected Job, in case a new merge has cancelled it.
|
||||
## Ignore the error: "cannot be rerun; its workflow file may be broken"
|
||||
gh run rerun --repo apache/nuttx --debug --failed $protect_id
|
||||
## gh run rerun --repo apache/nuttx --debug --failed $protect_id
|
||||
|
||||
## For apache/nuttx-apps: Kill all Merge Jobs pushing to master branch
|
||||
run_list="
|
||||
|
|
Loading…
Reference in a new issue