miri.yml

name: "Miri"

on:
  push:
    branches:
      - "main"
      - "forks/*"
      - release-*.*
  pull_request:
    branches:
      - "main"
      - "v*.*.*-rc"
      - release-*.*
  schedule:
    # Run weekly on Monday at 00:00 UTC
    - cron: '0 0 * * 1'

concurrency:
    group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
    cancel-in-progress: ${{ github.event_name == 'pull_request' }}

env:
  RUST_TOOLCHAIN_NIGHTLY: nightly-2025-02-20
  CARGO_TERM_COLOR: always
  CACHE_KEY_SUFFIX: 20251109

jobs:
  miri-test:
    name: miri test
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v4
        with:
          persist-credentials: false
      
      - name: Install rust toolchain
        uses: dtolnay/rust-toolchain@master
        with:
          toolchain: ${{ env.RUST_TOOLCHAIN_NIGHTLY }}
          components: miri
      
      - name: Cache Cargo home
        uses: actions/cache@v4
        id: cache
        with:
          path: |
            ~/.cargo/bin/
            ~/.cargo/registry/index/
            ~/.cargo/registry/cache/
            ~/.cargo/git/db/
          key: ${{ runner.os }}-${{ runner.arch }}-cargo-${{ hashFiles('**/Cargo.toml') }}-${{ env.CACHE_KEY_SUFFIX }}-miri-isolated
      
      - name: Setup miri
        env:
          RUST_TOOLCHAIN_NIGHTLY: ${{ env.RUST_TOOLCHAIN_NIGHTLY }}
        run: |
          cargo +$RUST_TOOLCHAIN_NIGHTLY miri setup
      
      # Run with stricter miri flags (isolation enabled, more checking)
      - name: Run isolated miri tests (strict mode)
        env:
          RUST_BACKTRACE: 1
          RUST_TOOLCHAIN_NIGHTLY: ${{ env.RUST_TOOLCHAIN_NIGHTLY }}
        timeout-minutes: 10
        run: |
          cargo +$RUST_TOOLCHAIN_NIGHTLY miri test --features test_utils --workspace --exclude foyer-bench