From 1e4bace98527ed497980c45a12b40faeb4abfef5 Mon Sep 17 00:00:00 2001
From: Aryan Arun <ace.aryan.arun@gmail.com>
Date: Mon, 7 Sep 2026 21:05:49 -0700
Subject: [PATCH] Add AsciiExt is_ascii to autoharness CI

---
 .github/workflows/kani.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 0f3661885946c..6575064418010 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -107,6 +107,7 @@ jobs:
             --include-pattern alloc::__default_lib_allocator:: \
             --include-pattern alloc::layout::Layout::from_size_align \
             --include-pattern ascii::ascii_char::AsciiChar::from_u8 \
+            --include-pattern "<char[[:space:]]as[[:space:]]ascii::AsciiExt>::is_ascii" \
             --include-pattern char::convert::from_u32_unchecked \
             --include-pattern core_arch::x86::__m128d::as_f64x2 \
             --include-pattern "convert::num::<impl.convert::From<num::nonzero::NonZero<" \