[SourceKit] Introduce key for cancelling on close

Defaults to `true`.
2025-12-14 20:36:38 +01:00 · 2024-04-30 12:00:27 +01:00
parent 69f2e26d35
commit de9806e2fa
7 changed files with 31 additions and 24 deletions
--- a/utils/gyb_sourcekit_support/UIDs.py
+++ b/utils/gyb_sourcekit_support/UIDs.py
@@ -116,6 +116,7 @@ UID_KEYS = [
    KEY('Introduced', 'key.introduced'),
    KEY('Deprecated', 'key.deprecated'),
    KEY('Obsoleted', 'key.obsoleted'),
+    KEY('CancelBuilds', 'key.cancel_builds'),
    KEY('RemoveCache', 'key.removecache'),
    KEY('TypeUsr', 'key.typeusr'),
    KEY('ContainerTypeUsr', 'key.containertypeusr'),