Add github file

Author: celinval

.github/scripts/run_rustc_tests.sh

@@ -12,7 +12,7 @@ SMIR_PATH=$(git rev-parse --show-toplevel)
 export RUST_BACKTRACE=1
 
 pushd "${SMIR_PATH}"
-cargo +smir build -Z unstable-options --out-dir "${TOOLS_BIN}"
+cargo build -Z unstable-options --out-dir "${TOOLS_BIN}"
 export PATH="${TOOLS_BIN}":"${PATH}"
 
 if [[ ! -e "${RUST_REPO}" ]]; then

.github/workflows/nightly.yml

@@ -0,0 +1,21 @@
+name: Run compiler tests
+
+on:
+  schedule:
+    - cron: "0 6 * * *"  # Run daily at 06:00 UTC
+  workflow_dispatch:     # Allow manual dispatching
+  pull_request:
+
+jobs:
+  compile-test:
+    name: Rust Compiler Tests
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Test
+        run: ./.github/scripts/run_rustc_tests.sh
+        env:
+          RUST_REPO: "/tmp/rustc"
+          TOOLS_BIN: "/tmp/smir/bin"