From e87c446dd15e14213423f3e86d3ed2bd45929a20 Mon Sep 17 00:00:00 2001
From: Matthias Goergens <matthias.goergens@gmail.com>
Date: Fri, 13 Dec 2024 13:39:59 +0800
Subject: [PATCH] Pro forma change to ticlke the CI

---
 ceno_emul/src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ceno_emul/src/lib.rs b/ceno_emul/src/lib.rs
index 1a855006e..16f35e114 100644
--- a/ceno_emul/src/lib.rs
+++ b/ceno_emul/src/lib.rs
@@ -1,3 +1,4 @@
+//! Ceno Emulator
 #![deny(clippy::cargo)]
 mod addr;
 pub use addr::*;