Make pull_request field optional in JobInfo validator and interface

Co-authored-by: joshspicer <23246594+joshspicer@users.noreply.github.com>

Author: Copilot

src/platform/github/common/githubAPIValidators.ts

@@ -37,10 +37,10 @@ export const vJobInfo = (): IValidator<JobInfo> => vObj({
 	actor: vRequired(vActor()),
 	created_at: vRequired(vString()),
 	updated_at: vRequired(vString()),
-	pull_request: vRequired(vObj({
+	pull_request: vObj({
 		id: vRequired(vNumber()),
 		number: vRequired(vNumber()),
-	})),
+	}),
 	workflow_run: vObj({
 		id: vRequired(vNumber()),
 	}),

src/platform/github/common/githubService.ts

@@ -41,7 +41,7 @@ export interface JobInfo {
 	};
 	created_at: string;
 	updated_at: string;
-	pull_request: {
+	pull_request?: {
 		id: number;
 		number: number;
 	};

src/platform/github/test/common/githubAPIValidators.spec.ts

@@ -126,6 +126,26 @@ describe('GitHub API Validators', () => {
 			const result = vJobInfo().validate(invalidJobInfo);
 			expect(result.error).toBeDefined();
 		});
+
+		it('should validate job info without pull_request field', () => {
+			const validJobInfo = {
+				job_id: 'job-123',
+				session_id: 'session-456',
+				problem_statement: 'Fix the bug',
+				status: 'completed',
+				actor: {
+					id: 123,
+					login: 'testuser'
+				},
+				created_at: '2023-01-01T00:00:00Z',
+				updated_at: '2023-01-02T00:00:00Z'
+				// No pull_request field - should still be valid
+			};
+
+			const result = vJobInfo().validate(validJobInfo);
+			expect(result.error).toBeUndefined();
+			expect(result.content).toEqual(validJobInfo);
+		});
 	});
 
 	describe('vRemoteAgentJobResponse', () => {