Skip to content

Rust - Miri Testing (CRON) #103

Rust - Miri Testing (CRON)

Rust - Miri Testing (CRON) #103

Workflow file for this run

name: Rust - Miri Testing (CRON)
on:
schedule:
# Conduct Miri testing on 3:30 UTC every night.
- cron: "30 3 * * *"
jobs:
miri:
name: Miri
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@44c2b7a8a4ea60a981eaca3cf939b5f4305c123b
- uses: dtolnay/rust-toolchain@nightly
with:
components: miri
targets: x86_64-unknown-linux-gnu
- name: Set up Cargo cache
uses: actions/cache@v4
continue-on-error: false
with:
path: |
~/.cargo/bin/
~/.cargo/registry/index/
~/.cargo/registry/cache/
~/.cargo/git/db/
~/target/
key: ${{ runner.os }}-cargo-miri-${{ hashFiles('**/Cargo.lock') }}
restore-keys: ${{ runner.os }}-cargo-miri-
- name: Checkout Submodules
run: git submodule update --init --recursive
- name: Install cargo-nextest
run: |
# Note: We use `|| true` because cargo install returns an error
# if cargo-nextest was already installed on the CI runner.
cargo install cargo-nextest || true
- name: Miri Testing - Wasm Spec Testsuite
run: cargo miri nextest run --target x86_64-unknown-linux-gnu --test spec_shim