Support a manual trigger on CI workflow

This commit is contained in:
David Tolnay
2023-06-23 22:50:52 -07:00
parent 20a48c9580
commit c0ba323166
+1
View File
@@ -3,6 +3,7 @@ name: CI
on: on:
push: push:
pull_request: pull_request:
workflow_dispatch:
schedule: [cron: "40 1 * * *"] schedule: [cron: "40 1 * * *"]
permissions: permissions: