pub fn github_run_on(body: &Value, workflow: &str, sha: &str) -> Option<Run>Expand description
The run of workflow on commit sha, selected by the commit and the
push event, never by recency: a workflow that also reports on requests
makes the newest run the wrong one.