commit | 75751f4aa5d70f65856645a9128fd42d92d6692c | [log] [tgz] |
---|---|---|
author | Hugo van Kemenade <hugovk@users.noreply.github.com> | Sat Oct 08 21:21:38 2022 +0200 |
committer | GitHub <noreply@github.com> | Sat Oct 08 21:21:38 2022 +0200 |
tree | e3e1f22af1c1c7252b4b0dfc907c9b036ab7bb37 | |
parent | 5405537813750dbfb133c1af26360297954765f8 [diff] |
Auto-cancel old builds when new commit pushed to branch (#98009) * Auto-cancel old builds when new commit pushed to branch * Add a fallback Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com> * Use the same group for all workflows. Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com>