Wilmer Paulino d63006dcc0 Cancel in-progress jobs on updated push ... At times, PRs can go through multiple pushes in a short amount of time, spawning a workflow run for each. Most of the time, there's no need to let the previous jobs running if the code itself has changed (e.g., via a force push), and we'd benefit from having those slots be used by other PRs/branches instead.		2023-04-17 11:32:53 -07:00
..
build.yml	Cancel in-progress jobs on updated push	2023-04-17 11:32:53 -07:00