Skip to content

ci: bump Redline to askalf/ci@19e8159 - #216

Merged
askalf merged 15 commits into
mainfrom
bot/redline-pin
Nov 11, 2026
Merged

askalf merged 15 commits into
mainfrom
bot/redline-pin

Conversation

@askalf-pin-bump

Copy link
Copy Markdown
Contributor

Moves this repository's askalf/ci pins (its reusable workflow calls, their redline-ref inputs and any action pins) to askalf/ci@19e8159, the main commit that last changed the review, the fix or an action (main 2026-11-11, askalf/ci#205). The scripts are fetched at that same commit. The pins are the only change.

@askalf-pin-bump
askalf-pin-bump Bot requested a review from askalf as a code owner November 11, 2026 02:32
@github-actions github-actions Bot added github_actions Pull requests that update GitHub Actions code size/S 10-49 hand-written lines labels Nov 11, 2026
@askalf
askalf enabled auto-merge (squash) November 11, 2026 02:35

@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 workflows consistently move their reusable workflow, action, and Redline reference pins to the same full commit. The existing permissions, triggers, and inputs are otherwise unchanged.

@askalf
askalf merged commit bac36ea into main Nov 11, 2026
18 checks passed
@askalf
askalf deleted the bot/redline-pin branch November 11, 2026 02:37
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