]> Repositorios git - scryer-prolog.git/commitdiff
make components a comma seperated string instead of a list
authorBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 14:01:52 +0000 (16:01 +0200)
committerBennet Bleßmann <[email protected]>
Sat, 6 Jul 2024 14:01:52 +0000 (16:01 +0200)
.github/workflows/ci.yml

index 7cdbc9a2b868776518ab1d4945c3db9217f0be32..0345cdaf5a6cafc4bbca1045a499805eafb291da 100644 (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