name: miri
permissions:
contents: read
on:
push:
branches:
- main
pull_request:
branches:
- main
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
miri:
name: Miri
runs-on: ubuntu-latest
timeout-minutes: 45
steps:
- uses: actions/checkout@v6
name: Checkout
- uses: dtolnay/rust-toolchain@miri
- run: cargo miri setup
- name: Run Miri tests (disable isolation)
run: cargo miri test
env:
MIRIFLAGS: "-Zmiri-strict-provenance -Zmiri-disable-isolation"
DECRYPTION_KEY: "12345678901234567890123456789012"