Skip to content

Automatically cancel redundant CI workflows

This PR reconfigures the Github Actions workflows to automatically cancel redundant workflows when a new commit is pushed to the matching reference, in an attempt to be a good citizen and speed up time-to-completion at the PR level.

Merge request reports