diff --git a/.github/scripts/run_rustc_tests.sh b/.github/scripts/run_rustc_tests.sh index a6938b7..e23bec4 100755 --- a/.github/scripts/run_rustc_tests.sh +++ b/.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 diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml new file mode 100644 index 0000000..0fa20bb --- /dev/null +++ b/.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"