update CI

Author: makai410

.github/scripts/run_own_tests.sh

@@ -1,4 +1,4 @@
-# Run a job to ensure formatting is OK
+# Run a job to ensure Demo is OK
 name: Run demo
 on:
   pull_request:
@@ -14,7 +14,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Run Demo
         run: ./demo/run_demo.sh

.github/scripts/run_rustc_tests.sh

@@ -13,7 +13,7 @@ jobs:
       contents: write
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Install mdbook
         run: cargo install mdbook --version "^0.4" --locked

.github/workflows/demo.yml

@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Run Rust Format
-        run: cargo fmt --check
+        run: ./x fmt --check

.github/workflows/deploy_mdbook.yml

@@ -6,28 +6,29 @@ on:
   workflow_dispatch:     # Allow manual dispatching
   pull_request:
 
+defaults:
+  run:
+    shell: bash
+
 jobs:
-  compile-test:
-    name: Rust Compiler Tests
+  msrv:
+    name: MSRV Nightly Tests
     runs-on: ubuntu-latest
     steps:
-      - name: Checkout
-        uses: actions/checkout@v3
-
-      - name: Install latest nightly
-        uses: actions-rs/toolchain@v1
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@master
         with:
-          toolchain: nightly
-
-      - name: Test local suites
-        run: ./.github/scripts/run_own_tests.sh
-        env:
-          TOOLS_BIN: "/tmp/smir/bin"
+          # Note that this is the release date, which means the downloaded version is 2025-08-09.
+          toolchain: nightly-2025-08-10
+          components: rust-src
+      - run: ./x test
 
-      - name: Test rustc suites
-        run: ./.github/scripts/run_rustc_tests.sh
-        env:
-          RUST_REPO: "/tmp/rustc"
-          TOOLS_BIN: "/tmp/smir/bin"
-        # Don't fail CI for now. See: https://github.com/rust-lang/project-stable-mir/issues/39
-        continue-on-error: true
+  latest:
+    name: Latest Nightly Tests
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@nightly
+        with:
+          components: rust-src
+      - run: ./x test