Bugfix/updated mir nightly

.github/workflows/format.yml

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

.github/workflows/nightly.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 the downloaded version is dated 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

.gitignore

@@ -1,7 +1,13 @@
 /book/build
 **/target
 
+# direnv
+.envrc
+/.direnv
+
 .idea
 *.swp
 *.swo
 .vscode
+
+Cargo.lock

Cargo.toml

@@ -1,13 +1,13 @@
-# Cargo workspace for utility tools used to check stable-mir in CI
 [workspace]
 resolver = "2"
 members = [
-    "tools/compiletest",
-    "tools/test-drive",
+    "devtool",
+    "rustc_public",
+    "test-drive",
 ]
 
 exclude = [
     "build",
-    "target",
     "demo",
+    "target",
 ]

devtool/Cargo.toml

@@ -0,0 +1,12 @@
+[package]
+name = "devtool"
+version = "0.0.0"
+authors = ["rustc_public team"]
+license = "MIT OR Apache-2.0"
+repository = "https://github.com/rust-lang/project-stable-mir"
+edition = "2021"
+
+[dependencies]
+anyhow = "1.0.99"
+clap = { version = "4.1.3", features = ["derive"] }
+xshell = "0.2.6"