Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove unnecessary workflow input (#1394)
When you start a workflow from the GitHub UI, it already asks for a branch/tag/commit. There is no need to add our own input for that. This is a follow-up of #1392.
- Loading branch information