diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0a5a00d5be0580a463711ffc85b3d33a1a495a0b..29a3c9131a6a538b26530da90f0afc512044140f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -15,6 +15,7 @@ on: paths-ignore: - "docs/**/*" - ".github/workflows/community_*" + merge_group: concurrency: # Allow only one workflow per any non-`main` branch. diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 0870a55e60057cb8440c7d911ab78aef18c04045..fedccfc03f9c4d20ccc1f4e1f3a224d48245ea03 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -7,6 +7,7 @@ on: push: branches: - main + merge_group: jobs: check_formatting: