Merge pull request #232 from dave-tucker/fix_docs

ci: lint: aya: Skip doctests with miri
3 years ago · 5cfecbdd8e
parent 5421b71b5b 3d820ee473
commit 5cfecbdd8e
1 changed files with 1 additions and 1 deletions
--- 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