From a2ca42b66caa02be16106f952e3d04bca97ca834 Mon Sep 17 00:00:00 2001 From: threadexio Date: Wed, 4 Sep 2024 13:21:59 +0300 Subject: [PATCH] ci: run miri only on `channels-packet` --- .github/workflows/ci.yaml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index de3d505..e2bf910 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -59,4 +59,5 @@ jobs: targets: ${{ matrix.target }} - run: cargo +nightly miri setup - - run: cargo +nightly miri test --target ${{ matrix.target }} --all-features -p channels-io -p channels-packet -p channels-serdes -p channels --lib + - run: cargo +nightly miri test --target ${{ matrix.target }} --all-features -p channels-packet +