Skip to content

Commit

Permalink
Add miri test to CI
Browse files Browse the repository at this point in the history
  • Loading branch information
jhpratt committed Oct 6, 2022
1 parent fcbad1d commit 9b1c755
Showing 1 changed file with 19 additions and 0 deletions.
19 changes: 19 additions & 0 deletions .github/workflows/build.yaml
Expand Up @@ -188,6 +188,25 @@ jobs:
- name: Test
run: cargo test -p time --all-features

miri:
name: Test (miri)
runs-on: ubuntu-20.04
if: (github.event_name == 'pull_request' && github.event.pull_request.head.repo.fork) || github.event_name == 'push'

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

- name: Install toolchain
uses: dtolnay/rust-toolchain@nightly
with:
components: miri

- name: Test
run: cargo miri test -p time --all-features
env:
MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check

cross-build:
name: Cross-build
runs-on: ubuntu-20.04
Expand Down

0 comments on commit 9b1c755

Please sign in to comment.