From: Skgland <bb-github@t-online.de>
Date: Sat, 12 Mar 2022 18:02:34 +0000 (+0100)
Subject: add a CI job to verify msrv is still correct
X-Git-Tag: v0.9.1~115^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5bd73741cf1499470ae25a7cffb7d23bc8790b14;p=scryer-prolog.git

add a CI job to verify msrv is still correct
---

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