This PR tweaks the CI so that new pushes cancel previously-running CI. This is particularly important for Morbig that has such a heavy CI with 29 (!!) checks. To see how this works, cf:
The two last commits are here only for demonstration purposes. You can see that pushing them indeed cancelled previous CI runs. I suggest squashing this PR.
This PR tweaks the CI so that new pushes cancel previously-running CI. This is particularly important for Morbig that has such a heavy CI with 29 (!!) checks. To see how this works, cf: