Change some defaults

This commit is contained in:
David Tolnay 2020-05-02 12:23:23 -07:00
parent 55909b99ad
commit 5b9c3a8373
No known key found for this signature in database
GPG key ID: F9BA143B95FF6D82

View file

@ -18,13 +18,13 @@ inputs:
required: false
default:
description: Set installed toolchain as default
default: false
default: true
override:
description: Set installed toolchain as an override for a directory
default: false
default: true
profile:
description: Name of the group of components to be installed for a new toolchain
required: false
default: minimal
components:
description: Comma-separated list of components to be additionally installed for a new toolchain
required: false