Skip to content

ci: bump Redline to askalf/ci@c20dd11 - #167

Merged
askalf merged 1 commit into
masterfrom
bot/redline-pin
Oct 7, 2026
Merged

askalf merged 1 commit into
masterfrom
bot/redline-pin

Conversation

@askalf

@askalf askalf commented Oct 7, 2026

Copy link
Copy Markdown
Owner

Moves the pinned askalf/ci calls and their redline-ref inputs to askalf/ci@c20dd11, the main commit that last changed the review or the fix (main 2026-10-07, askalf/ci#27). The scripts are fetched at that same commit. The pins are the only change.

@github-actions github-actions Bot added github_actions Pull requests that update GitHub Actions code size/XS Under 10 hand-written lines labels Oct 7, 2026

@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. This change moves the reusable workflow's uses: pin and the redline-ref input to the same full commit sha, c20dd11fa84250a53e0d164dfe69c59f522591de. The two still match, so the scripts that get fetched come from the same commit as the workflow that calls them. The permissions, triggers, the fork and draft gate, and the other inputs are the same as before.

@askalf
askalf enabled auto-merge (squash) October 7, 2026 01:50
@askalf
askalf merged commit f055456 into master Oct 7, 2026
20 of 21 checks passed
@askalf
askalf deleted the bot/redline-pin branch October 7, 2026 02:39
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/XS Under 10 hand-written lines

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants