Skip to content

fix read half close (#1159) #1587

fix read half close (#1159)

fix read half close (#1159) #1587

Workflow file for this run

name: Miri
on:
pull_request:
types: [opened, synchronize, reopened]
push:
branches: [main]
jobs:
miri:
name: miri
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Install Rust nightly
uses: actions-rs/toolchain@v1
with:
toolchain: nightly
components: miri
override: true
- name: miri
run: cargo ci-miri-test
env:
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-disable-isolation -Zmiri-symbolic-alignment-check
PROPTEST_CASES: 10