From 092c03a9383f849a09676f187854e1724304dde5 Mon Sep 17 00:00:00 2001
From: Brad Stein <Brad.Stein@gmail.com>
Date: Sat, 2 May 2026 12:50:03 -0300
Subject: [PATCH] docs: mark 0.17.11 sync checklist pushed

---
 AGENTS.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/AGENTS.md b/AGENTS.md
index 864ddfe..033a390 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -285,4 +285,4 @@ Context: 0.17.10 installed cleanly on both ends (`4bb0f4a`) and produced a high-
 - [x] Update installer defaults so Theia receives the same browser-visible baseline after reinstall.
 - [x] Update operational docs and installer contract tests for the new baseline.
 - [x] Run focused calibration, installer, and runtime checks.
-- [ ] Push clean semver `0.17.11` for installed client/server testing.
+- [x] Push clean semver `0.17.11` for installed client/server testing.