From: Bennet Bleßmann Date: Sat, 6 Jul 2024 14:01:52 +0000 (+0200) Subject: make components a comma seperated string instead of a list X-Git-Tag: v0.10.0~127^2~17 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8e53d12776c23bac9d7b7cfd398941a31e6e5b66;p=scryer-prolog.git make components a comma seperated string instead of a list --- diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7cdbc9a2..0345cdaf 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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