From 401adafbca2538b4b44eb3b3645a2b3b8e024415 Mon Sep 17 00:00:00 2001
From: hy7pc8gfmf-dotcom <168888@live.cn>
Date: Sat, 10 Oct 2026 01:40:57 +0800
Subject: [PATCH] ci: dress rehearsal commit (gpg signature verification;
 comment-only change)

---
 theories/Reals/Cauchy/PiCosZeroSeqProbe.v | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/theories/Reals/Cauchy/PiCosZeroSeqProbe.v b/theories/Reals/Cauchy/PiCosZeroSeqProbe.v
index b6ec6ffa2f..975bf004bf 100644
--- a/theories/Reals/Cauchy/PiCosZeroSeqProbe.v
+++ b/theories/Reals/Cauchy/PiCosZeroSeqProbe.v
@@ -46,3 +46,5 @@ Definition cos_zero_seq (n : nat) : Q :=
   proj1_sig (approx_root_cos (log_eps n) (log_eps_pos n)).
 
 Print Assumptions cos_zero_seq.
+
+(* ci dress rehearsal: gpg-signed commit verification *)