Fix update-revs.sh to recognize only the intended required: true

This commit is contained in:
David Tolnay 2025-08-22 17:57:03 -07:00
parent 350b8170d6
commit 0185c06042
No known key found for this signature in database
GPG key ID: F9BA143B95FF6D82
2 changed files with 2 additions and 1 deletions

View file

@ -34,6 +34,7 @@ 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