Repository navigation
ci: add TechEngineBot final-check comment for important PRs - #35
Closed
Seungpyo1007 wants to merge 2 commits into
Closed
Seungpyo1007 wants to merge 2 commits into
Seungpyo1007 wants to merge 2 commits into
Conversation
Release PRs into main and PRs labeled final-check get a single comment from TechEngineBot with validator/test results and the records touched. The comment is edited in place on each push. Posting needs the TECHENGINEBOT_TOKEN secret; without it the job skips the comment.
Without pipefail a failed gh api call in the lookup pipeline left its error body in $id, and the step then sent it to PATCH as a comment id.
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
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.
What & why
TechEngineBot acts as the final reviewer on important PRs: it leaves one comment summarising the validator/test results and the ES records the PR adds, modifies, or removes. The comment is edited in place on every push, never duplicated.
main, and any PR labeledfinal-check(drafts are skipped).TECHENGINEBOT_TOKENsecret only — never a personal token. Without the secret the job still runs and skips the comment.Setup
Add a TechEngineBot token (public_repo or fine-grained "Pull requests: write" on this repo) as the repo secret
TECHENGINEBOT_TOKEN.Checklist
python -m app.validatepasses locally