Skip to content

Add login-context e2e for issue/PR URL notice#46

Merged
skulidropek merged 4 commits intoProverCoderAI:mainfrom
skulidropek:issue-40
Feb 16, 2026
Merged

Add login-context e2e for issue/PR URL notice#46
skulidropek merged 4 commits intoProverCoderAI:mainfrom
skulidropek:issue-40

Conversation

@skulidropek
Copy link
Copy Markdown
Contributor

Summary

  • print workspace context (issue/PR URL) together with the codex resume hint on interactive login
  • keep AGENTS managed context for PR workspaces aligned by including the PR URL
  • add a new e2e script (scripts/e2e/login-context.sh) that verifies SSH login output for issue and PR workspaces
  • run the new e2e in CI (check.yml, job: E2E (Login context))

Testing

  • bash -n scripts/e2e/login-context.sh
  • pnpm --filter ./packages/docker-git test -- tests/core/templates.test.ts
  • pnpm --filter ./packages/docker-git exec eslint tests/core/templates.test.ts
  • pnpm --filter ./packages/lib exec eslint src/core/templates-entrypoint/codex.ts

Closes #40

@skulidropek
Copy link
Copy Markdown
Contributor Author

Для наглядности оставляю пример фактического login-контекста, который e2e проверяет по SSH:

Контекст workspace: issue #1 (https://github.com/octocat/Hello-World/issues/1)
Старые сессии можно запустить с помощью codex resume или codex resume <id>, если знаешь айди.

и для PR:

Контекст workspace: PR #1 (https://github.com/octocat/Hello-World/pull/1)
Старые сессии можно запустить с помощью codex resume или codex resume <id>, если знаешь айди.

Успешный job с проверкой: https://github.com/ProverCoderAI/docker-git/actions/runs/22051585800/job/63710713623

@skulidropek skulidropek merged commit 5741fd1 into ProverCoderAI:main Feb 16, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant