소스 검색

ci: lint: aya: Skip doctests with miri

Signed-off-by: Dave Tucker <dave@dtucker.co.uk>
Dave Tucker 3 년 전
부모
커밋
3d820ee473
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      .github/workflows/lint.yml

+ 1 - 1
.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