make components a comma seperated string instead of a list

This commit is contained in:
Bennet Bleßmann
2024-07-06 16:01:52 +02:00
parent 33793193cc
commit 8e53d12776

View File

@@ -50,7 +50,7 @@ jobs:
- { os: ubuntu-22.04, rust-version: "1.77", target: 'x86_64-unknown-linux-gnu'}
# rust versions
- { os: ubuntu-22.04, rust-version: beta, target: 'x86_64-unknown-linux-gnu'}
- { os: ubuntu-22.04, rust-version: nightly, target: 'x86_64-unknown-linux-gnu', miri: true, components: ["miri"]}
- { os: ubuntu-22.04, rust-version: nightly, target: 'x86_64-unknown-linux-gnu', miri: true, components: "miri"}
defaults:
run:
shell: bash