CI: Mitigate redundant job executions

Author: amotl

.github/workflows/main.yml

@@ -6,6 +6,14 @@ on:
   push:
     branches: [ main ]
 
+  # Allow job to be triggered manually.
+  workflow_dispatch:
+
+# Cancel in-progress jobs when pushing to the same branch.
+concurrency:
+  cancel-in-progress: true
+  group: ${{ github.workflow }}-${{ github.ref }}
+
 jobs:
 
   tests: