diff options
| author | Jakob Unterwurzacher | 2024-12-05 21:16:33 +0100 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2024-12-05 21:16:33 +0100 |
| commit | fda035ba73b9b80979a069385e88c7b0bc8268db (patch) | |
| tree | 99d102721d127b34d447faf93d1c4329430830be | |
| parent | 15d34762ab9f375b9aa738119aa7e2dd1497102e (diff) | |
ci: allow manual executionLockSharedStorage
https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#workflow_dispatch
| -rw-r--r-- | .github/workflows/ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b9d868a..0cfae40 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 |