David Lechner 45082163f0 github/workflows: add concurrency groups ...

This will cancel any ongoing workflows when we update a pull request.

2022-12-19 15:17:31 -06:00

..

codeql-analysis.yml

github/workflows: add concurrency groups

2022-12-19 15:17:31 -06:00

coverage.yml

…

dependabot-auto-merge.yml

github: fix dependabot-auto-merge workflow

2022-11-29 10:59:15 -06:00

release.yml

…

test-pull-request.yml

github/workflows: add concurrency groups

2022-12-19 15:17:31 -06:00