We have a workflow that is triggered by
workflow_dispatch. When we run this workflow on a ref via API or UI, there doesn’t seem to be a way to associate the run with a particular PR. It would be nice if we could, so we could see the PR information on the run in the workflow runs list, instead of the generic run name. Since
push based workflows get this automagically, something tells me Github is doing something under the hood to make that kind of functionality work.
The docs don’t seem to indicate any kind of parameter we can send to this effect, so I’m curious if maybe I’m missing a step, or if this goes in the pile of “things we’d like to have.”