Establish Infrastructure (#105)

* make rustc_public a `crates.io` crate

* establish infrastructrure

* move `tests/` to `rustc_public/`

s

* conditional compilation of rustc crates

* remove redundant content in rustfmt.toml

* remove rust-toolchain.toml of rustc_public

* add `Cargo.lock`

Author: makai410

.github/scripts/run_own_tests.sh

@@ -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/scripts/run_rustc_tests.sh

@@ -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

.github/workflows/format.yml

@@ -1,6 +1,10 @@
 /book/build
 **/target
 
+# direnv
+.envrc
+/.direnv
+
 .idea
 *.swp
 *.swo