From 025c76780c0755fa02f9b4b6a9506453b9f56f6b Mon Sep 17 00:00:00 2001 From: Tamir Duberstein Date: Tue, 18 Jul 2023 15:26:05 -0400 Subject: [PATCH] integration-test: add to default-members This works now that build.rs does the right thing. Update the `miri test` command in the lint job so it has the proper exclusions; it is now in line with the invocations in the build-test job. --- .github/workflows/lint.yml | 9 ++++++++- Cargo.toml | 2 +- 2 files changed, 9 insertions(+), 2 deletions(-) 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",