From fcfa3beaa32f23f6c08fcc7d4f3755b10bc62431 Mon Sep 17 00:00:00 2001 From: Skgland Date: Sat, 12 Mar 2022 18:57:33 +0100 Subject: [PATCH 1/2] add min rust version was proposed in https://github.com/mthom/scryer-prolog/issues/1335#issuecomment-1062039516 and got positive feedback --- Cargo.toml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Cargo.toml b/Cargo.toml index 193d6ce6..b9d8466d 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -10,6 +10,7 @@ license = "BSD-3-Clause" keywords = ["prolog", "prolog-interpreter", "prolog-system"] categories = ["command-line-utilities"] build = "build.rs" +rust-version = "1.57" [workspace] members = ["crates/num-rug-adapter", @@ -72,4 +73,4 @@ predicates-core = "1.0.2" serial_test = "0.5.1" [profile.release] -debug = true \ No newline at end of file +debug = true From 5bd73741cf1499470ae25a7cffb7d23bc8790b14 Mon Sep 17 00:00:00 2001 From: Skgland Date: Sat, 12 Mar 2022 19:02:34 +0100 Subject: [PATCH 2/2] add a CI job to verify msrv is still correct --- .github/workflows/test.yml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index ddb8e61d..be88ab6f 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -38,3 +38,13 @@ jobs: with: command: test args: --verbose --all --no-default-features --features num + msrv: + steps: + - name: Checkout sources + uses: actions/checkout@v2 + - name: Install cargo-msrv + uses: baptiste0928/cargo-install@v1.1.0 + with: + crate: cargo-msrv + - name: Verify MSRV + run: cargo msrv --verify