Skip to content

Neu#1439

Merged
hilmarf merged 6 commits into
chore/pin-ghafrom
neu
May 2, 2025
Merged

Neu#1439
hilmarf merged 6 commits into
chore/pin-ghafrom
neu

Conversation

@hilmarf

@hilmarf hilmarf commented May 2, 2025

Copy link
Copy Markdown
Member

What this PR does / why we need it

Which issue(s) this PR fixes

@hilmarf hilmarf requested a review from a team as a code owner May 2, 2025 14:57
@hilmarf hilmarf merged commit c109146 into chore/pin-gha May 2, 2025
@hilmarf hilmarf deleted the neu branch May 2, 2025 14:57
@github-actions github-actions Bot added component/github-actions Changes on GitHub Actions or within `.github/` directory size/m Medium labels May 2, 2025
@ocmbot ocmbot Bot added this to the 2025-Q2 milestone May 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

component/github-actions Changes on GitHub Actions or within `.github/` directory size/m Medium

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant