feat: enable GitHub merge queues (#1849)

Author: yvan-sraka

.github/workflows/check-shellscripts.yml

@@ -1,15 +1,13 @@
 name: Check shell scripts
 
 on:
-  push:
-    branches:
-      - develop
   pull_request:
+  merge_group:
   workflow_dispatch:
 
 concurrency:
-  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
-  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.event.merge_group.head_ref || github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' || github.event_name == 'merge_group' }}
 
 permissions:
   contents: read

.github/workflows/ci.yml

@@ -2,6 +2,7 @@ name: Check merge requirements
 
 on:
   pull_request:
+  merge_group:
 
 permissions:
   contents: read

.github/workflows/nix-build.yml

@@ -3,9 +3,9 @@ name: Nix CI
 on:
   push:
     branches:
-      - develop
       - release/*
   pull_request:
+  merge_group:
   workflow_dispatch:
 
 permissions: