Concurrency issues in CI

[adamjstewart]

Description

We're seeing concurrency issues in CI where PRs are cancelling each others' jobs.

Steps to reproduce

This most commonly occurs when dependabot opens multiple simultaneous PRs.

The issue is that github.ref isn't specific enough and returns main for PRs. We can make this more robust.

See https://docs.github.com/en/actions/learn-github-actions/contexts for details.

Version

0.5.0.dev0 (06f91f7)

[adamjstewart]

For reference, here are the github contexts for the following events:

• pull_request.txt
• push.txt

[adamjstewart]

The issue is that github.ref isn't specific enough and returns main for PRs.

It seems like github.ref is specific enough for both:

• pull_request: "refs/pull/1422/merge"
• push: "refs/heads/main"

I no longer know why this is occurring.

[adamjstewart]

This looks promising:

# This allows a subsequently queued workflow run to interrupt previous runs
concurrency:
  group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}'
  cancel-in-progress: true

I would still like to better understand why the issue is occuring though.

[adamjstewart]

For the above event logs, this looks like:

• pull_request: ${{ tests }} @ ${{ adamjstewart:tests/concurrency || tests/concurrency || refs/pull/1422/merge }}
• push: ${{ tests }} @ ${{ null || "" || refs/heads/main }}