Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions tests/fixtures/pr-proof-contract.test.ts
Original file line numberDiff line numberDiff line change
Expand Up@@ -718,6 +718,8 @@ describe('trusted dispatcher source contract', () => {
expect(source).toContain('PR_PROOF_ARM_COMPLETE arm=head');
expect(source).toContain('--source cloud');
expect(source).toContain("result.status !== 'completed'");
expect(source).toContain('.timeout(2_700_000)');
expect(source).not.toContain('.timeout(3_600_000)');
});

it('records the per-step Cloud sandbox id instead of the orchestrator id', async () => {
Expand Down
5 changes: 4 additions & 1 deletion workflows/pr-proof.ts
Original file line numberDiff line numberDiff line change
Expand Up@@ -27,7 +27,10 @@ const result = await workflow('relay-pr-proof')
// of RelayFlow's default repair-agent retries so no agent can edit the
// harness or artifacts after a gate rejects them.
.onError('fail-fast')
.timeout(3_600_000)
// Finish inside the dispatcher's 60-minute polling deadline so Cloud can
// persist terminal step state and retain its sandbox for diagnostics before
// the GitHub runner issues an external cancellation.
.timeout(2_700_000)
.agent('base-prover', {
cli: 'codex',
preset: 'worker',
Expand Down
Loading