feat: allow running build manually with workflow_dispatch

Alex33856 · lineargraph · commit 15be2c6967a1 · 2026-04-16T15:29:02.000+02:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -4,7 +4,7 @@
 # against bad commits.
 
 name: build
-on: [ pull_request, push ]
+on: [ pull_request, push, workflow_dispatch ]
 
 jobs:
   build:
