Skip to content

Test review construction in github.rkt#828

Merged
jackfirth merged 1 commit into
masterfrom
test-github-review-construction-820
Jul 15, 2026
Merged

Test review construction in github.rkt#828
jackfirth merged 1 commit into
masterfrom
test-github-review-construction-820

Conversation

@jackfirth

Copy link
Copy Markdown
Owner

Fixes #820.

Covers refactoring-result->github-review-comment and the non-empty comment path of refactoring-results->github-review by building a flatten-plus result against a file committed in a temporary git repo, so git ls-tree resolves the path. Brings github.rkt to 100% coverage.

Covers refactoring-result->github-review-comment and the non-empty
comment path of refactoring-results->github-review, using a temporary
git repository so git ls-tree resolves the file path. Brings github.rkt
to 100% coverage.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@jackfirth jackfirth enabled auto-merge (squash) July 15, 2026 02:47

@github-actions github-actions Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Resyntax analyzed 1 file in this pull request and found no issues.

@github-actions

Copy link
Copy Markdown
Contributor

Docs preview: https://resyntax.notjack.space/preview/828/

@jackfirth jackfirth merged commit 6678fdb into master Jul 15, 2026
10 checks passed
@jackfirth jackfirth deleted the test-github-review-construction-820 branch July 15, 2026 02:52
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.

github.rkt reads GITHUB_REF and GITHUB_REPOSITORY at module level, which blocks testing it

1 participant