test(lib): add CI job to test with Miri
This commit is contained in:
22
.github/workflows/CI.yml
vendored
22
.github/workflows/CI.yml
vendored
@@ -16,6 +16,7 @@ jobs:
|
||||
- style
|
||||
- test
|
||||
- msrv
|
||||
- miri
|
||||
- features
|
||||
- ffi
|
||||
- ffi-header
|
||||
@@ -124,6 +125,27 @@ jobs:
|
||||
command: check
|
||||
args: --features full
|
||||
|
||||
miri:
|
||||
name: Test with Miri
|
||||
needs: [style]
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
steps:
|
||||
- name: Checkout
|
||||
uses: actions/checkout@v1
|
||||
|
||||
- name: Install Rust
|
||||
uses: actions-rs/toolchain@v1
|
||||
with:
|
||||
profile: minimal
|
||||
toolchain: nightly
|
||||
components: miri
|
||||
override: true
|
||||
|
||||
- name: Test
|
||||
# Can't enable tcp feature since Miri does not support the tokio runtime
|
||||
run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test --features http1,http2,client,server,stream,nightly
|
||||
|
||||
features:
|
||||
name: features
|
||||
needs: [style]
|
||||
|
||||
Reference in New Issue
Block a user