From 93e9cd0e004c5d860394516102acf916943425bd Mon Sep 17 00:00:00 2001 From: Dave Tucker Date: Fri, 8 Oct 2021 16:25:22 +0100 Subject: [PATCH] ci: Add miri Signed-off-by: Dave Tucker --- .github/workflows/lint.yml | 22 +++++++++++++++------- 1 file changed, 15 insertions(+), 7 deletions(-) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 7f72f03f..88232815 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -24,20 +24,28 @@ jobs: with: profile: minimal toolchain: nightly - components: rustfmt, clippy + components: rustfmt, clippy, miri + override: true - name: Check formatting run: | - cargo +nightly fmt --all -- --check + cargo fmt --all -- --check pushd bpf - cargo +nightly fmt --all -- --check + cargo fmt --all -- --check popd - name: Run clippy run: | - cargo +nightly clippy -p aya -- --deny warnings - cargo +nightly clippy -p aya-gen -- --deny warnings - cargo +nightly clippy -p xtask -- --deny warnings + cargo clippy -p aya -- --deny warnings + cargo clippy -p aya-gen -- --deny warnings + cargo clippy -p xtask -- --deny warnings pushd bpf - cargo +nightly clippy -p aya-bpf -- --deny warnings + cargo clippy -p aya-bpf -- --deny warnings + popd + + - name: Run miri + run: | + cargo miri test + pushd bpf + cargo miri test popd \ No newline at end of file