Skip to content

redline post: this repository posts its own Redline verdicts from CI - #240

Merged
askalf merged 1 commit into
masterfrom
redline-post
Nov 1, 2026
Merged

askalf merged 1 commit into
masterfrom
redline-post

Conversation

@askalf

@askalf askalf commented Nov 1, 2026

Copy link
Copy Markdown
Owner

What

Adds .github/workflows/redline-post.yml. When this repository's Redline workflow finishes, it calls askalf/ci/.github/workflows/redline-post-verdict.yml, pinned at a5e734d (askalf/ci#148). That workflow checks the run and posts its verdict as sprayberry-redline from GitHub's runners, with the repository secret REDLINE_REVIEWER_TOKEN. The rules it applies are in scripts/redline/README.md in askalf/ci.

A workflow_run job always runs the default branch's copy of its file, so nothing changes for this PR's own checks. The hourly Redline pin bump in askalf/ci moves this pin with the others.

Check after merge

The next Redline run here should get a "Redline post" run. That run either posts the verdict or skips with its reason in the log.

@github-actions github-actions Bot added github_actions Pull requests that update GitHub Actions code size/S 10-49 hand-written lines labels Nov 1, 2026
@askalf askalf changed the title [hold] redline post: this repository posts its own Redline verdicts from CI redline post: this repository posts its own Redline verdicts from CI Nov 1, 2026
@askalf
askalf enabled auto-merge (squash) November 1, 2026 18:50

@sprayberry-redline sprayberry-redline left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Verdict: approve. The completion trigger matches the existing Redline workflow. The new caller pins the reusable workflow and its code reference to the same commit, grants only read permissions to the job token, and passes the posting credential explicitly.

@askalf
askalf merged commit fd9b291 into master Nov 1, 2026
23 of 24 checks passed
@askalf
askalf deleted the redline-post branch November 1, 2026 18:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code size/S 10-49 hand-written lines

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants