Skip to content

ci: add GAP PR package test workflow#1354

Draft
fingolfin wants to merge 1 commit intomainfrom
codex/test-gap-pr-workflow
Draft

ci: add GAP PR package test workflow#1354
fingolfin wants to merge 1 commit intomainfrom
codex/test-gap-pr-workflow

Conversation

@fingolfin
Copy link
Copy Markdown
Member

Add a workflow that accepts a GAP pull request URL, resolves its head revision, runs the package test suite against that exact commit, and posts the resulting report back to the PR.

Teach the shared test workflow and report tooling about ad hoc report keys, labels, baselines, and PR-specific failure summaries so these runs compare against the correct branch.

AI assistance: Codex implemented the workflows, Python helpers, tests, and documentation updates.


Disclaimer: I have not yet reviewed this PR myself at all. So if you don't like being exposed to unvetted AI slop, better don't look yet. But I don't want to risk forgetting this start, so I am putting it out here.

This PR aims to be useful on its own, but it has a counterpart in gap-system/gap which makes use of the work here (but not the other way around).

Add a workflow that accepts a GAP pull request URL,
resolves its head revision, runs the package test suite
against that exact commit, and posts the resulting report
back to the PR.

Teach the shared test workflow and report tooling about
ad hoc report keys, labels, baselines, and PR-specific
failure summaries so these runs compare against the
correct branch.

AI assistance: Codex implemented the workflows, Python
helpers, tests, and documentation updates.

Co-authored-by: Codex <codex@openai.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant