diff --git a/REPORT.md b/REPORT.md
index 60ad6415..066eed68 100644
--- a/REPORT.md
+++ b/REPORT.md
@@ -272,6 +272,9 @@ R-40, R-49, R-76, R-78, R-79, R-96 (closed), R-102, R-103, R-104, R-105, R-107 (
 **Restored after a compressor error:** R-123, R-190, R-214, R-264, R-295, R-352.
 **Ceiling R-375 → R-378.**
 
+**CI:** `felhom.eu` **id=384 / run_number=252**, head `ef6ac6fe` — **success**. Commit `ef6ac6f`,
+pushed to `main`, all **11** gates OK, tree clean. No other repo touched.
+
 ---
 
 ## 12. What was dropped, and observations