diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b072bd20a..628ed0235 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,6 +9,7 @@ on: - cron: '0 2 * * *' release: types: [published] + workflow_dispatch: defaults: run: # Run Git Bash on Windows. Otherwise, it uses PowerShell Core, and we'd need