[Bug]: Second push to the same PR does not cancel running workflows

[Javagedes]

Is there an existing issue for this?

• I have searched existing issues

Current Behavior

When pushing a new commit to a pull request, previously running workflows (CodeQL) is not canceled, and thus we back up the workflow runners.

Expected Behavior

Investigate if we can automatically cancel pull request workflows when a new commit is pushed.

Steps To Reproduce

1. Push to a PR
2. Immediately push to a PR again
3. View multiple simultaneous runs of the CodeQL github workflow.

Build Environment

- OS(s): N/A
- Tool Chain(s): N/A
- Targets Impacted: N/A

Version Information

400b1e3b53931ab0ee76fc72bcc7d12fae98d32e

Urgency

Low

Are you going to fix this?

I will fix it

Do you need maintainer feedback?

No maintainer feedback needed

Anything else?

No response

[makubacki]

I've used concurrency groups for this more recently. It's been simple and effective.