From: Bennet Bleßmann Date: Thu, 31 Jul 2025 18:07:57 +0000 (+0200) Subject: remove outdated comment X-Git-Tag: v0.10.0~35^2~1^2~21 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7199e9a2dbdb3d0ad703a1c93bd316281f4c6792;p=scryer-prolog.git remove outdated comment --- diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 50b1a375..47f5050d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -49,7 +49,6 @@ jobs: - { os: ubuntu-22.04, rust-version: nightly, target: 'wasm32-unknown-unknown', publish: true, args: '--no-default-features' , test-args: '--no-run --no-default-features', use_swap: true } # Cargo.toml rust-version - { os: ubuntu-22.04, rust-version: "1.85", 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"} defaults: