Details
-
Type:
Bug
-
Status: Done
-
Resolution: Done
-
Fix Version/s: None
-
Component/s: jenkins
-
Labels:None
-
Story Points:0.5
-
Epic Link:
-
Team:SQuaRE
-
Urgent?:No
Description
It appears that GitHub subtly changed their API without updating the docs. After 2022-04-11, branch=prod in the runs query no longer selects runs submitted with branch=prod; instead, it seems that head_branch=prod is necessary.