miri.yml

name: Miri

on:
  push:
    branches: ["develop"]
  pull_request: {}
  workflow_dispatch: {}

permissions:
  actions: read
  contents: read

jobs:
  miri:
    name: "miri"
    runs-on: ubuntu-latest
    env:
      RUST_BACKTRACE: 1
      MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-backtrace=full
    steps:
      - uses: actions/checkout@v4

      - name: Rust Version
        id: rust-version
        shell: bash
        run: echo "version=$(cat rust-toolchain.toml | grep channel | awk -F'\"' '{print $2}')" >> $GITHUB_OUTPUT

      - name: Rust Toolchain
        id: rust-toolchain
        uses: dtolnay/rust-toolchain@master
        if: steps.rustup-cache.outputs.cache-hit != 'true'
        with:
          toolchain: "${{ steps.rust-version.outputs.version }}"
          components: miri

      - name: Rust Dependency Cache
        uses: Swatinem/rust-cache@v2
        with:
          save-if: ${{ github.ref == 'refs/heads/develop' }}
          shared-key: "shared" # To allow reuse across jobs

      - name: Rust Compile Cache
        uses: mozilla-actions/sccache-action@v0.0.6
      - name: Rust Compile Cache Config
        shell: bash
        run: |
          echo "SCCACHE_GHA_ENABLED=true" >> $GITHUB_ENV
          echo "RUSTC_WRAPPER=sccache" >> $GITHUB_ENV
          echo "CARGO_INCREMENTAL=0" >> $GITHUB_ENV

      - name: Run tests with Miri
        run: cargo miri test