Support a manual trigger on CI workflow

This commit is contained in:
David Tolnay 2023-02-18 17:23:53 -08:00
parent 40db9e7ea8
commit 320250e56d
No known key found for this signature in database
GPG Key ID: F9BA143B95FF6D82
1 changed files with 1 additions and 0 deletions

View File

@ -3,6 +3,7 @@ name: CI
on:
push:
pull_request:
workflow_dispatch:
schedule: [cron: "40 1 * * *"]
permissions: