Cancel outdated CI runs on pull requests

[MattiasBuelens]

Summary

Pushing a new commit to a PR now cancels the CI run still in progress for that PR. Runs for pushes to main and develop are not canceled; they queue and run one after another.

concurrency:
  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
  cancel-in-progress: ${{ github.event_name == 'pull_request' }}

Link to Devin session: https://dolby.devinenterprise.com/sessions/edf7b16cd28344f695cd947531a8ad1f
Open in Devin Desktop: https://dolby.devinenterprise.com/desktop/session/edf7b16cd28344f695cd947531a8ad1f?variant=devin
Requested by: @MattiasBuelens

[devin-ai-integration]

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

• Disable automatic comment, CI, and merge conflict monitoring