Add workflow_dispatch trigger to CI.yml

gschjetne · Aug 10, 2023 · ed62d6c · ed62d6c
1 parent e87e2d5
commit ed62d6c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -11,6 +11,7 @@ name: CI
 # Controls when the action will run. Triggers the workflow on push for any branch, and
 # pull requests to master
 on:
+  workflow_dispatch:
   push:
   pull_request:
     branches: [ master ]