Unify workflows

.github/workflows/build.yml

@@ -1,9 +1,10 @@
 run-name: Build ${{ inputs.plugin }} plugin | ${{ inputs.id }}
-name: Build packages (on demand)
+name: Build packages
 
 # This workflow runs when any of the following occur:
 # - Run manually
 # - Invoked from another workflow
+# - On push to branches named after ci/*
 on:
     workflow_dispatch:
         inputs:
@@ -33,6 +34,10 @@ on:
                 description: "ID used to identify the workflow uniquely."
                 type: string
                 required: false
+    push:
+        # Sequence of patterns matched against refs/heads
+        branches:
+            - "ci/*"
 
 # ==========================
 # Bibliography