-
-
Notifications
You must be signed in to change notification settings - Fork 2.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Jenkins: requery new running jobs #8833
Jenkins: requery new running jobs #8833
Conversation
Jenkins was not requeried since a1fb666 This does not seem to be a problem for other buildservers, AppVeyor requires a manual refresh anyway.
Codecov Report
@@ Coverage Diff @@
## master #8833 +/- ##
==========================================
+ Coverage 56.10% 56.15% +0.05%
==========================================
Files 919 919
Lines 65522 65522
Branches 11997 11997
==========================================
+ Hits 36760 36794 +34
+ Misses 25759 25740 -19
+ Partials 3003 2988 -15
Flags with carried forward coverage won't be shown. Click here to find out more. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
If it works -
@msftbot merge in 1 day |
Hello @gerhardol! Because you've given me some instructions on how to help merge this pull request, I'll be modifying my merge approach. Here's how I understand your requirements for merging this pull request:
If this doesn't seem right to you, you can tell me to cancel these instructions and use the auto-merge policy that has been configured for this repository. Try telling me "forget everything I just told you". |
Fixes #8829
Proposed changes
Jenkins was not requeried since a1fb666
This does not seem to be a problem for other buildservers,
AppVeyor requires a manual refresh anyway.
This is not an issue if the build starts immediately after a push, but there could be a queue to start the build, then refresh is needed.
Test methodology
✒️ I contribute this code under The Developer Certificate of Origin.