Support a manual trigger on CI workflow

This commit is contained in:
David Tolnay 2023-02-18 17:23:55 -08:00
parent 52e69531e6
commit e12eda571d
No known key found for this signature in database
GPG key ID: F9BA143B95FF6D82

View file

@ -4,6 +4,7 @@ on:
push: push:
branches: [master] branches: [master]
pull_request: pull_request:
workflow_dispatch:
schedule: [cron: "40 1 * * *"] schedule: [cron: "40 1 * * *"]
permissions: permissions: