Open sebastianst opened 2 years ago
Use the concurrency feature of Github Workflows to enhance the CI for pull requests. Per pull-request, it should cancel any ongoing or pending runs, if newer code is pushed. This might just be achieved by adding the following
concurrency
concurrency: group: ci-${{ github.head_ref }} cancel-in-progress: true
But this has to be checked.
Use the
concurrency
feature of Github Workflows to enhance the CI for pull requests. Per pull-request, it should cancel any ongoing or pending runs, if newer code is pushed. This might just be achieved by adding the followingBut this has to be checked.