aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/ci.yml
diff options
context:
space:
mode:
authorJakob Unterwurzacher2024-12-05 21:16:33 +0100
committerJakob Unterwurzacher2024-12-05 21:19:17 +0100
commit0192dcad72cfb7bc3edc2ea107e31f7191f62ff0 (patch)
treecb5fb1fff79b534125da24748a46616992a176fd /.github/workflows/ci.yml
parent9529f5da0f608c7dbc7b7be095d89039d6a3a5b6 (diff)
ci: allow manual executionHEADmaster
https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#workflow_dispatch
Diffstat (limited to '.github/workflows/ci.yml')
-rw-r--r--.github/workflows/ci.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0cf2d7d..abda518 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -3,6 +3,7 @@ name: CI
on:
push:
pull_request:
+ workflow_dispatch:
schedule:
- cron: '0 12 * * *' # Every day noon UTC