Index: .github/workflows/build.yml
===================================================================
diff -u -rd661abd3a04d10a519877dbd9b47ebbde94025cf -r42704e31dd9321cd8d21ef43bb7e1cadb1542daf
--- .github/workflows/build.yml	(.../build.yml)	(revision d661abd3a04d10a519877dbd9b47ebbde94025cf)
+++ .github/workflows/build.yml	(.../build.yml)	(revision 42704e31dd9321cd8d21ef43bb7e1cadb1542daf)
@@ -1,5 +1,5 @@
 name: Build
-on: [push]
+on: [push, workflow_dispatch]
 jobs:
   nsf:
     runs-on: ${{ matrix.os }}