name: UB test

on:
  push:
    branches: [ master ]

env:
  CARGO_TERM_COLOR: always

jobs:
  run_miri:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout code
        uses: actions/checkout@v3

      - name: Setup toolchain
        uses: https://github.com/actions-rs/toolchain@v1
        with:
          profile: minimal
          toolchain: nightly
          components: miri

      - name: run miri
        run: MIRIFLAGS=-Zmiri-many-seeds=0..8 cargo +nightly miri test --all-targets