From 7349cb30ba469ca765f8a13b48160ce8d2b30463 Mon Sep 17 00:00:00 2001
From: Dave Tucker <dave@dtucker.co.uk>
Date: Fri, 8 Oct 2021 16:25:22 +0100
Subject: [PATCH] ci: Add miri
Signed-off-by: Dave Tucker <dave@dtucker.co.uk>
---
.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