Revision e2ca0af8b3b1104a6d80fd4c2ee61cb19ba9e046 authored by Bryna Hazelton on 21 December 2022, 21:11:05 UTC, committed by Bryna Hazelton on 29 December 2022, 17:07:16 UTC
Using `github.head_ref` in the group ensures this only cancels older PR builds because that's only defined on PRs. It falls back to run_id which is always unique. Include the workflow in the group to ensure it only cancels the same workflow jobs. see examples at https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency
1 parent 31ebcf2
| File | Mode | Size |
|---|---|---|
| workflows | ||
| CONTRIBUTING.md | -rw-r--r-- | 6.4 KB |
| PULL_REQUEST_TEMPLATE.md | -rw-r--r-- | 3.6 KB |
Computing file changes ...
