GitHub Actions: allow "workflow_dispatch"

DOCGroup · Oct 23, 2023 · b9c6955 · b9c6955
1 parent 76bffb4
commit b9c6955
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/face.yml b/.github/workflows/face.yml
@@ -5,6 +5,7 @@ on:
   pull_request:
   schedule:
     - cron: '0 1 * * SUN'
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml
@@ -5,6 +5,7 @@ on:
   pull_request:
   schedule:
     - cron: '0 1 * * SUN'
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -5,6 +5,7 @@ on:
   pull_request:
   schedule:
     - cron: '0 1 * * SUN'
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
@@ -5,6 +5,7 @@ on:
   pull_request:
   schedule:
     - cron: '0 1 * * SUN'
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}