Add script to update revs

This commit is contained in:
David Tolnay 2020-05-02 13:09:48 -07:00
parent 5f8a325e9a
commit f93393c7fd
No known key found for this signature in database
GPG key ID: F9BA143B95FF6D82
2 changed files with 27 additions and 0 deletions

View file

@ -13,6 +13,7 @@ inputs:
If this is not given, the action will try and install the version specified in the `rust-toolchain` file.
required: false
#default: ${{ rev }}
target:
description: Target triple to install for this toolchain
required: false