wait-for-pr-ci-completion.py: wait for Github PR CI #18
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
As the script name implies, wait for a Github PR's CI to complete.
This script does no notification; it just waits -- when the CI
completes, this script completes. You'll typically want to execute
another command after this script completes, for example:
where
pushover
is a script I use to send push notifications to myphone.
See the comments at the beginning of this script to see its
requirements and how to use it.
This script may get copied out of the Open MPI script repo, so I took
the liberty of including the license in the file.
Signed-off-by: Jeff Squyres jeff@squyres.com
Here's a sample output from running this script: