Merge pull request #166 from dtolnay/fix1

Try without comment?
This commit is contained in:
David Tolnay 2025-08-22 17:50:59 -07:00 committed by GitHub
commit 350b8170d6
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -34,7 +34,6 @@ runs:
run: |
: parse toolchain version
if [[ -z $toolchain ]]; then
# GitHub does not enforce 'required: true' inputs itself. https://github.com/actions/runner/issues/1070
echo "'toolchain' is a required input" >&2
exit 1
elif [[ $toolchain =~ ^stable' '[0-9]+' '(year|month|week|day)s?' 'ago$ ]]; then