diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 2765ebd..a9f03af 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -254,7 +254,7 @@ jobs: grep '] rust_print: Info message (level 6) with args$' qemu-stdout grep '] rust_print: A line that is continued with args$' qemu-stdout - - run: grep '] ok 7 rust_doctests_kernel$' qemu-stdout + - run: grep '] ok 1 rust_doctests_kernel$' qemu-stdout - run: python ci/check_panics.py qemu-stdout