Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix manual workflow dispatch (#1877)
TIL that if you edit the workflow in the GitHub UI, it will lint your workflow file and make sure that all the keys conform to the schema.
- Loading branch information