mirror of
https://github.com/dtolnay/rust-toolchain.git
synced 2024-11-22 16:49:31 +01:00
components: miri
This commit is contained in:
parent
525fbff0da
commit
a7ac70d0ff
1 changed files with 1 additions and 0 deletions
|
@ -19,6 +19,7 @@ inputs:
|
|||
components:
|
||||
description: Comma-separated list of components to be additionally installed
|
||||
required: false
|
||||
default: miri, rust-src
|
||||
|
||||
outputs:
|
||||
cachekey:
|
||||
|
|
Loading…
Reference in a new issue