diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e60c0884b..fa0a5e879 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -8,6 +8,8 @@ on:
       - 'gh-pages'
     paths-ignore:
       - '.github/workflows/**'
+  workflow_dispatch:
+    inputs: {}
 
 jobs:
   cloc: