From 764a0912e6dbbea808a78e2c724e1f5155df2cc2 Mon Sep 17 00:00:00 2001 From: Antoni Boucher Date: Wed, 26 Aug 2026 10:16:42 -0400 Subject: [PATCH] Increment doctest count --- .github/workflows/ci.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index e1a4028..c07bdaf 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -258,7 +258,7 @@ jobs: # Print the result line for debugging. grep -E '\] ok [0-9]+ rust_doctests_kernel$' qemu-stdout || true - grep '] ok 11 rust_doctests_kernel$' qemu-stdout + grep '] ok 12 rust_doctests_kernel$' qemu-stdout - run: python ci/check_panics.py qemu-stdout