build: add workflow_dispatch to ci-nightly GH workflow

hseeberger · Oct 22, 2023 · 1e4fc78 · 1e4fc78
1 parent d7d1427
commit 1e4fc78
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci_nightly.yaml b/.github/workflows/ci_nightly.yaml
@@ -3,6 +3,7 @@ name: ci-nightly
 on:
   schedule:
     - cron: 0 6,18 * * *
+  workflow_dispatch:
 
 jobs:
   ci: