feat(container): post session results to PR as GitHub comment - #20
Closed
mariuspruvot wants to merge 1 commit into
Closed
feat(container): post session results to PR as GitHub comment#20mariuspruvot wants to merge 1 commit into
mariuspruvot wants to merge 1 commit into
Conversation
After a challenge-me session completes successfully, extract the score
card from persisted session events and post it as a PR comment via the
GitHub API. Feature is opt-in per installation (post_results_to_pr
boolean, default false).
- Add post_results_to_pr column to installations table (migration)
- Add PUT /installations/{id}/post-results endpoint for toggling
- Add pr_comment module with score card extraction and formatting
- Wire up _post_results_comment() in SSE stream after mark_completed
- Expose setting in admin panel
|
helPRs session created for this PR. Skill: |
Owner
Author
|
Cherry-picked to main as 1b3566e |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
post_results_to_prboolean (default: false), toggled throughPUT /installations/{id}/post-resultsresultevent insession_eventstable, formatted with a collapsible session linkKey changes
post_results_to_prboolean column toinstallationspr_comment.py(extraction + formatting),_post_results_comment()wired aftermark_completed()InstallationAdminDesign decisions
post_pr_comment_with_retry(), mints fresh installation token to handle sessions outliving the original token's 1-hour TTLdoneeventTest plan
extract_score_cardextracts from result event, returns None for missing/invalid dataformat_pr_commentincludes score card, session link, collapsible detailspost_results_to_pr=Trueand skill ischallenge-mepost_results_to_prin responses