@andy5995 commented on this pull request.
> @@ -15,7 +15,7 @@ on:
# cancel already running builds of the same branch or pull request
concurrency:
- group: ci-${{ github.head_ref }} || concat(${{ github.ref }}
+ group: ${{ github.workflow }}-${{ github.event.pull_request.number ||
github.sha }}
I've changed this because the codeql job cancelled itself, considering the
build job a higher priority
--
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3769#pullrequestreview-1927031352
You are receiving this because you are subscribed to this thread.
Message ID: <geany/geany/pull/3769/review/[email protected]>
