diff options
author | Jonathan Wren <jonathan@nowandwren.com> | 2022-08-27 12:03:01 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-27 12:03:01 -0700 |
commit | 3c50b01c234a9a5ea522b88e09118c8817a87283 (patch) | |
tree | 764ab4d9c6cafac1f98b237a9e21d7d1df540038 /.github | |
parent | 72d1a044d9014e6875b5cf37c68f45eab4e803e2 (diff) |
take out old help text from pipeline config (#1565)
These used to be needed because the `type` field didn't exist.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/release.yaml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml index d68f7e9e..5e60c90b 100644 --- a/.github/workflows/release.yaml +++ b/.github/workflows/release.yaml @@ -10,17 +10,17 @@ on: type: string required: true include_repo_version: - description: 'Update version in repo? (true/false)' + description: 'Update version in repo?' type: boolean required: true default: true include_pypi: - description: 'Publish to PyPI? (true/false)' + description: 'Publish to PyPI?' type: boolean required: true default: true include_brew: - description: 'Publish to Homebrew? (true/false)' + description: 'Publish to Homebrew?' type: boolean required: true default: true |