From b1bd398ea56bf00600d111832d00ead0f57736a1 Mon Sep 17 00:00:00 2001
From: Olivier Goffart <olivier.goffart@slint.dev>
Date: Fri, 12 Jul 2024 15:01:56 +0200
Subject: [PATCH] Update crater run

The documentation of document-features contains its source code,
and therefore the error message.
Make it as if it is in html tags.
---
 .github/workflows/rust.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index c06ecd0..1a3f834 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -75,5 +75,5 @@ jobs:
           cargo add embassy-time
 
           cargo doc
-          grep -r "No documented features in Cargo.toml" target/doc || exit 0
+          grep -r ">No documented features in Cargo.toml<" target/doc || exit 0
           false