https://pantsbuild.org/ logo
#development
Title
# development
w

witty-crayon-22786

03/23/2022, 5:26 PM
@fast-nail-55400: i saw you create a PR yesterday in order to kick off a SHA build: i assume that was because just pushing the branch to origin wasn’t enough? it used to be, but maybe our branch filters changed recently.
…oh. or maybe github is just having another outage. no checks getting kicked off at all.
yea, just super slow most likely.
f

fast-nail-55400

03/23/2022, 6:35 PM
or me not knowing the current way of doing things so I just joined the “make a PR” cargo cult
w

witty-crayon-22786

03/23/2022, 6:36 PM
yea, usually “branch on origin” is sufficient. but it’s tricky to tell with github not hopping on things quickly.