diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 674a9b16..06d58809 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -47,7 +47,7 @@ jobs: env: MIRIFLAGS: -Zmiri-disable-stacked-borrows run: | - cargo miri test + cargo miri test --all-targets pushd bpf cargo miri test popd \ No newline at end of file