Skip to content

Commit 2e943bf

Browse files
Update to latest release and re-run codegen
Co-Authored-By: Copilot <223556219+Copilot@users.noreply.github.com>
1 parent a2484dc commit 2e943bf

File tree

13 files changed

+105
-594
lines changed

13 files changed

+105
-594
lines changed

dotnet/src/Generated/SessionEvents.cs

Lines changed: 2 additions & 55 deletions
Original file line numberDiff line numberDiff line change
@@ -181,7 +181,7 @@ public partial class SessionErrorEvent : SessionEvent
181181
public required SessionErrorData Data { get; set; }
182182
}
183183

184-
/// <summary>Payload indicating the agent is idle; includes any background tasks still in flight.</summary>
184+
/// <summary>Payload indicating the session is fully idle with no background tasks in flight.</summary>
185185
/// <remarks>Represents the <c>session.idle</c> event.</remarks>
186186
public partial class SessionIdleEvent : SessionEvent
187187
{
@@ -1209,14 +1209,9 @@ public partial class SessionErrorData
12091209
public string? Url { get; set; }
12101210
}
12111211

1212-
/// <summary>Payload indicating the agent is idle; includes any background tasks still in flight.</summary>
1212+
/// <summary>Payload indicating the session is fully idle with no background tasks in flight.</summary>
12131213
public partial class SessionIdleData
12141214
{
1215-
/// <summary>Background tasks still running when the agent became idle.</summary>
1216-
[JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingNull)]
1217-
[JsonPropertyName("backgroundTasks")]
1218-
public SessionIdleDataBackgroundTasks? BackgroundTasks { get; set; }
1219-
12201215
/// <summary>True when the preceding agentic loop was cancelled via abort signal.</summary>
12211216
[JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingNull)]
12221217
[JsonPropertyName("aborted")]
@@ -2734,51 +2729,6 @@ public partial class SessionResumeDataContext
27342729
public string? BaseCommit { get; set; }
27352730
}
27362731

2737-
/// <summary>A background agent task.</summary>
2738-
/// <remarks>Nested data type for <c>SessionIdleDataBackgroundTasksAgentsItem</c>.</remarks>
2739-
public partial class SessionIdleDataBackgroundTasksAgentsItem
2740-
{
2741-
/// <summary>Unique identifier of the background agent.</summary>
2742-
[JsonPropertyName("agentId")]
2743-
public required string AgentId { get; set; }
2744-
2745-
/// <summary>Type of the background agent.</summary>
2746-
[JsonPropertyName("agentType")]
2747-
public required string AgentType { get; set; }
2748-
2749-
/// <summary>Human-readable description of the agent task.</summary>
2750-
[JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingNull)]
2751-
[JsonPropertyName("description")]
2752-
public string? Description { get; set; }
2753-
}
2754-
2755-
/// <summary>A background shell command.</summary>
2756-
/// <remarks>Nested data type for <c>SessionIdleDataBackgroundTasksShellsItem</c>.</remarks>
2757-
public partial class SessionIdleDataBackgroundTasksShellsItem
2758-
{
2759-
/// <summary>Unique identifier of the background shell.</summary>
2760-
[JsonPropertyName("shellId")]
2761-
public required string ShellId { get; set; }
2762-
2763-
/// <summary>Human-readable description of the shell command.</summary>
2764-
[JsonIgnore(Condition = JsonIgnoreCondition.WhenWritingNull)]
2765-
[JsonPropertyName("description")]
2766-
public string? Description { get; set; }
2767-
}
2768-
2769-
/// <summary>Background tasks still running when the agent became idle.</summary>
2770-
/// <remarks>Nested data type for <c>SessionIdleDataBackgroundTasks</c>.</remarks>
2771-
public partial class SessionIdleDataBackgroundTasks
2772-
{
2773-
/// <summary>Currently running background agents.</summary>
2774-
[JsonPropertyName("agents")]
2775-
public required SessionIdleDataBackgroundTasksAgentsItem[] Agents { get; set; }
2776-
2777-
/// <summary>Currently running background shell commands.</summary>
2778-
[JsonPropertyName("shells")]
2779-
public required SessionIdleDataBackgroundTasksShellsItem[] Shells { get; set; }
2780-
}
2781-
27822732
/// <summary>Repository context for the handed-off session.</summary>
27832733
/// <remarks>Nested data type for <c>SessionHandoffDataRepository</c>.</remarks>
27842734
public partial class SessionHandoffDataRepository
@@ -4232,9 +4182,6 @@ public enum SessionExtensionsLoadedDataExtensionsItemStatus
42324182
[JsonSerializable(typeof(SessionHandoffDataRepository))]
42334183
[JsonSerializable(typeof(SessionHandoffEvent))]
42344184
[JsonSerializable(typeof(SessionIdleData))]
4235-
[JsonSerializable(typeof(SessionIdleDataBackgroundTasks))]
4236-
[JsonSerializable(typeof(SessionIdleDataBackgroundTasksAgentsItem))]
4237-
[JsonSerializable(typeof(SessionIdleDataBackgroundTasksShellsItem))]
42384185
[JsonSerializable(typeof(SessionIdleEvent))]
42394186
[JsonSerializable(typeof(SessionInfoData))]
42404187
[JsonSerializable(typeof(SessionInfoEvent))]

go/generated_session_events.go

Lines changed: 4 additions & 32 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

nodejs/package-lock.json

Lines changed: 28 additions & 28 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

nodejs/package.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@
5656
"author": "GitHub",
5757
"license": "MIT",
5858
"dependencies": {
59-
"@github/copilot": "^1.0.17",
59+
"@github/copilot": "^1.0.20-1",
6060
"vscode-jsonrpc": "^8.2.1",
6161
"zod": "^4.3.6"
6262
},

nodejs/src/generated/session-events.ts

Lines changed: 1 addition & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -270,44 +270,9 @@ export type SessionEvent =
270270
ephemeral: true;
271271
type: "session.idle";
272272
/**
273-
* Payload indicating the agent is idle; includes any background tasks still in flight
273+
* Payload indicating the session is fully idle with no background tasks in flight
274274
*/
275275
data: {
276-
/**
277-
* Background tasks still running when the agent became idle
278-
*/
279-
backgroundTasks?: {
280-
/**
281-
* Currently running background agents
282-
*/
283-
agents: {
284-
/**
285-
* Unique identifier of the background agent
286-
*/
287-
agentId: string;
288-
/**
289-
* Type of the background agent
290-
*/
291-
agentType: string;
292-
/**
293-
* Human-readable description of the agent task
294-
*/
295-
description?: string;
296-
}[];
297-
/**
298-
* Currently running background shell commands
299-
*/
300-
shells: {
301-
/**
302-
* Unique identifier of the background shell
303-
*/
304-
shellId: string;
305-
/**
306-
* Human-readable description of the shell command
307-
*/
308-
description?: string;
309-
}[];
310-
};
311276
/**
312277
* True when the preceding agentic loop was cancelled via abort signal
313278
*/

python/copilot/generated/rpc.py

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -509,7 +509,7 @@ class ServerValue:
509509
command: str | None = None
510510
cwd: str | None = None
511511
env: dict[str, str] | None = None
512-
filter_mapping: dict[str | FilterMappingEnum] | FilterMappingEnum | None = None
512+
filter_mapping: dict[str, FilterMappingEnum] | FilterMappingEnum | None = None
513513
is_default_server: bool | None = None
514514
timeout: float | None = None
515515
tools: list[str] | None = None
@@ -595,7 +595,7 @@ class MCPConfigAddParamsConfig:
595595
command: str | None = None
596596
cwd: str | None = None
597597
env: dict[str, str] | None = None
598-
filter_mapping: dict[str | FilterMappingEnum] | FilterMappingEnum | None = None
598+
filter_mapping: dict[str, FilterMappingEnum] | FilterMappingEnum | None = None
599599
is_default_server: bool | None = None
600600
timeout: float | None = None
601601
tools: list[str] | None = None
@@ -686,7 +686,7 @@ class MCPConfigUpdateParamsConfig:
686686
command: str | None = None
687687
cwd: str | None = None
688688
env: dict[str, str] | None = None
689-
filter_mapping: dict[str | FilterMappingEnum] | FilterMappingEnum | None = None
689+
filter_mapping: dict[str, FilterMappingEnum] | FilterMappingEnum | None = None
690690
is_default_server: bool | None = None
691691
timeout: float | None = None
692692
tools: list[str] | None = None

0 commit comments

Comments
 (0)