Robin Malfait
0c213b514d
* improve concurrency of GitHub Actions This will allow you to cancel older running actions for the current PR / branch. This saves you some resources, but more importantly hopefully frees up some spots in the queue a bit faster. Saw this on the Node.js repo: https://github.com/nodejs/node/pull/42017 * empty commit to trigger cancellation of previous commit