From 6040c397439f7e381e0e0a9fc0f462040ed333a5 Mon Sep 17 00:00:00 2001
From: Antoni Boucher <bouanto@zoho.com>
Date: Mon, 5 Oct 2026 13:23:45 -0400
Subject: [PATCH] Fix CI

---
 .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 bdac822..86b2775 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 12 rust_doctests_kernel$' qemu-stdout
+          grep '] ok 11 rust_doctests_kernel$' qemu-stdout
 
       - run: python ci/check_panics.py qemu-stdout