miri.yml

name: Miri test
on:
  push:

jobs:
  run-miri:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v2
    - uses: actions-rs/toolchain@v1
      with:
        profile: minimal
        toolchain: nightly
        override: true
        components: miri
    - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test
    # We need to disable isolation because 
    # "unsupported operation: `clock_gettime` with `REALTIME` clocks not available when isolation is enabled"