codex: fix CI failure on PR #12803

codex-rs/app-server-protocol/schema/json/ServerNotification.json

@@ -1450,7 +1450,7 @@
       ]
     },
     "SkillsUpdatedNotification": {
-      "description": "Notification emitted when local skill files or skill configuration changes.",
+      "description": "Notification emitted when the server's local skill view changes.\n\nThe payload is intentionally empty because clients should treat this as a refresh hint and call `skills/list` again, typically with `forceReload: true`, instead of trying to apply an incremental update.",
       "type": "object"
     },
     "SubAgentSource": {

codex-rs/app-server-protocol/schema/json/codex_app_server_protocol.schemas.json

@@ -12229,7 +12229,7 @@
       },
       "SkillsUpdatedNotification": {
         "$schema": "http://json-schema.org/draft-07/schema#",
-        "description": "Notification emitted when local skill files or skill configuration changes.",
+        "description": "Notification emitted when the server's local skill view changes.\n\nThe payload is intentionally empty because clients should treat this as a refresh hint and call `skills/list` again, typically with `forceReload: true`, instead of trying to apply an incremental update.",
         "title": "SkillsUpdatedNotification",
         "type": "object"
       },

codex-rs/app-server-protocol/schema/json/v2/SkillsUpdatedNotification.json

@@ -1,6 +1,6 @@
 {
   "$schema": "http://json-schema.org/draft-07/schema#",
-  "description": "Notification emitted when local skill files or skill configuration changes.",
+  "description": "Notification emitted when the server's local skill view changes.\n\nThe payload is intentionally empty because clients should treat this as a refresh hint and call `skills/list` again, typically with `forceReload: true`, instead of trying to apply an incremental update.",
   "title": "SkillsUpdatedNotification",
   "type": "object"
 }

codex-rs/app-server-protocol/schema/typescript/v2/SkillsUpdatedNotification.ts

@@ -3,6 +3,10 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 
 /**
- * Notification emitted when local skill files or skill configuration changes.
+ * Notification emitted when the server's local skill view changes.
+ *
+ * The payload is intentionally empty because clients should treat this as a
+ * refresh hint and call `skills/list` again, typically with `forceReload:
+ * true`, instead of trying to apply an incremental update.
  */
 export type SkillsUpdatedNotification = Record<string, never>;