chore: reusable workflow and adjust concurrency for pr and push

.github/workflows/ci.yml → .github/workflows/build.yml

@@ -1,17 +1,7 @@
-name: Continuous Integration
+name: "Reusable build workflow"
 
 on:
-  push:
-    branches:
-      - main
-
-  pull_request:
-    branches:
-      - main
-
-concurrency:
-  group: ${{ format('ci-{0}', github.ref) }}
-  cancel-in-progress: true
+  workflow_call:
 
 jobs:
   Lint:

.github/workflows/ci-pr.yml

@@ -0,0 +1,15 @@
+name: ci
+
+on:
+  pull_request:
+    branches:
+      - main
+
+concurrency:
+  group: ${{ format('ci-{0}', github.ref) }}
+  cancel-in-progress: true
+
+jobs:
+  pr:
+    uses: ./.github/workflows/build.yml
+    secrets: inherit

.github/workflows/ci-push.yml

@@ -0,0 +1,15 @@
+name: ci
+
+on:
+  push:
+    branches:
+      - main
+
+concurrency:
+  # On main, we want all builds to complete even if merging happens faster to make it easier to discover at which point something broke.
+  group: ${{ github.ref == 'refs/heads/main' && format('push-{0}', github.sha) || format('push-{0}', github.ref) }}
+
+jobs:
+  pr:
+    uses: ./.github/workflows/build.yml
+    secrets: inherit