diff --git a/progress.txt b/progress.txt
index b3983826b38..44cd2b4d60d 100644
--- a/progress.txt
+++ b/progress.txt
@@ -57,3 +57,5 @@
   will be resolved when the PR is merged to main and the script reference is cleaned up.
 - Push was done with `--no-verify` after independent verification of types, backend tests,
   and UI tests all passed cleanly.
+
+<!-- CI investigation sample PR -->