Skip to content

chore(ci): pin 3rd party github actions - #5207

Merged
robert-hebel-sb merged 2 commits into
mainfrom
chore/pin-gha
Aug 6, 2026
Merged

chore(ci): pin 3rd party github actions#5207
robert-hebel-sb merged 2 commits into
mainfrom
chore/pin-gha

Conversation

@robert-hebel-sb

Copy link
Copy Markdown
Contributor

No description provided.

@robert-hebel-sb robert-hebel-sb added the github_actions Pull requests that update GitHub Actions code label Aug 6, 2026
@robert-hebel-sb
robert-hebel-sb merged commit 7c80dfc into main Aug 6, 2026
9 checks passed
@robert-hebel-sb
robert-hebel-sb deleted the chore/pin-gha branch August 6, 2026 12:07
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants