Skip to content

ci: /verify PR-comment command (relays to TechEngine)#54

Merged
Seungpyo1007 merged 1 commit into
mainfrom
ci/verify-command
Jun 22, 2026
Merged

ci: /verify PR-comment command (relays to TechEngine)#54
Seungpyo1007 merged 1 commit into
mainfrom
ci/verify-command

Conversation

@Seungpyo1007

Copy link
Copy Markdown
Member

Lets a curator trigger verification on demand: type /verify (or @TechEngineBot verify) in a PR comment and TechEngineBot posts the Tier 0 band report.

issue_comment fires in this repo, so the listener lives here. It checks the author is a member/collaborator, reacts 👀, looks up the PR head SHA, and relays repository_dispatch: techapi-verify to TechEngine (which holds the bot token and runs app.verify). Pairs with TechEngine's techapi-verify-comment.yml.

Refs #1

Members can type /verify (or @TechEngineBot verify) on a PR to trigger on-demand
Tier 0 verification; relays to TechEngine which posts the band report as the bot. Refs #1
@github-actions github-actions Bot added the ci CI and workflow changes label Jun 22, 2026
@Seungpyo1007 Seungpyo1007 moved this from Todo to In Progress in TechAPI-Project Jun 22, 2026
@Seungpyo1007 Seungpyo1007 merged commit 0a48f92 into main Jun 22, 2026
1 check passed
@Seungpyo1007 Seungpyo1007 deleted the ci/verify-command branch June 22, 2026 05:04
@github-project-automation github-project-automation Bot moved this from In Progress to Done in TechAPI-Project Jun 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci CI and workflow changes

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants