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

bitter-ability-32190

10/13/2022, 5:12 PM
Relatedly, I can merge this PR with a job still running: https://github.com/pantsbuild/pants/pull/17202
w

witty-crayon-22786

10/13/2022, 5:13 PM
looks like it’s because you pushed to
origin
maybe
b

bitter-ability-32190

10/13/2022, 5:15 PM
Ohhhh that's a good take
Although "merge ok" is green
The yaml build graph doesn't show the running job feeding into "merge ok"