diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 16edbf5b..d26dd5a1 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -38,4 +38,11 @@ jobs: run: cargo hack clippy --all-targets --feature-powerset --workspace -- --deny warnings - name: Run miri - run: cargo miri test --all-targets + run: | + cargo hack miri test --all-targets --feature-powerset \ + --exclude aya-bpf \ + --exclude aya-bpf-bindings \ + --exclude aya-log-ebpf \ + --exclude integration-ebpf \ + --exclude integration-test \ + --workspace diff --git a/Cargo.toml b/Cargo.toml index 580e0a48..9bd39326 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -29,7 +29,7 @@ default-members = [ "aya-log-parser", "aya-obj", "aya-tool", - # test/integration-test is omitted; it must be built with xtask. + "test/integration-test", "xtask", "aya-bpf-macros",