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