From: Nicolas Luck <nicolas@lucksus.eu>
Date: Fri, 9 Feb 2024 12:14:06 +0000 (+0100)
Subject: Use stable Rust for style/report and deactivate nightly x86_64 target in CI
X-Git-Tag: v0.9.4~3^2~8
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b3c5a8db8067b0331bd48ac2f49b76d9a48af624;p=scryer-prolog.git

Use stable Rust for style/report and deactivate nightly x86_64 target in CI
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e35ce825..2fac2a42 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -21,7 +21,7 @@ jobs:
       - name: Setup Rust
         uses: ./.github/actions/setup-rust
         with:
-          rust-version: nightly
+          rust-version: stable
           targets: x86_64-unknown-linux-gnu
           components: clippy, rustfmt
           cache-context: style
@@ -48,7 +48,7 @@ jobs:
           # rust versions
           - { os: ubuntu-22.04,   rust-version: "1.70",  target: 'x86_64-unknown-linux-gnu'}
           - { 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'}
+          # - { os: ubuntu-22.04,   rust-version: nightly, target: 'x86_64-unknown-linux-gnu'}
     defaults:
       run:
         shell: bash
@@ -138,7 +138,7 @@ jobs:
       - name: Setup Rust
         uses: ./.github/actions/setup-rust
         with:
-          rust-version: nightly
+          rust-version: stable
           targets: x86_64-unknown-linux-gnu
           cache-context: report
       - run: |