miri_tests.yml

name: CI
on:
  push:
    branches:
      - main

jobs:
  build_job:
    name: Unit Tests (MIRI)
    runs-on: ${{ matrix.os }}
    strategy:
      fail-fast: false
      matrix:
        build:
          [
            x86_64-linux,
            x86_64-macos,
            x86_64-windows
          ]
        include:
          - build: x86_64-linux
            os: ubuntu-latest
            rust: nightly
            target: x86_64-unknown-linux-gnu
            cross: false
          - build: x86_64-macos
            os: macos-latest
            rust: nightly
            target: x86_64-apple-darwin
            cross: false
          - build: x86_64-windows
            os: windows-latest
            rust: nightly
            target: x86_64-pc-windows-msvc
            cross: false

    steps:
      - name: Checkout sources
        uses: actions/checkout@v3

      - name: Install ${{ matrix.rust }} toolchain
        uses: dtolnay/rust-toolchain@stable
        with:
          toolchain: ${{ matrix.rust }}
          target: ${{ matrix.target }}
          components: miri

      - name: Rust cache
        uses: Swatinem/rust-cache@v2
      
      - name: Generate test files
        run: cargo run --package test-gen --release

      - name: Test workspace (MIRI)
        run: cargo miri test --workspace