#233: Added option to manually trigger builds

Author: raymondschouten

.github/workflows/build.yaml

@@ -2,6 +2,7 @@ name: 'Build'
 
 on:
   push:
+  workflow_dispatch:
 
 concurrency:
   group: "${{ github.workflow }}-${{ github.head_ref || github.run_id }}"