72db6f958b
For more info, see https://docs.github.com/en/actions/how-tos/write-workflows/choose-when-workflows-run/control-workflow-concurrency This may cause the workflow build to be canceled just because somebody else is working on a different branch, and PRs to end up with failing checks as in #416. Even manual re-run of the workflow doesn't lift the failing flag from it. |
||
|---|---|---|
| .. | ||
| workflows | ||