Revision - e2ca0af - add concurrency groups to GH actions to cancel prior runs on PRs only

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

add concurrency groups to GH actions to cancel prior runs on PRs only

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

Files
Changes

Permalinks

.codecov.yml

codecov:
  ci:
    - !travis-ci  # ignore CI builds by Travis
    - !azure-pipelines  # ignore CI builds by azure pipelines

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...