Skip to content

Pin/upgrade GitHub Actions#197

Merged
tomkins merged 2 commits intomasterfrom
pin-actions
May 5, 2026
Merged

Pin/upgrade GitHub Actions#197
tomkins merged 2 commits intomasterfrom
pin-actions

Conversation

@tomkins
Copy link
Copy Markdown
Member

@tomkins tomkins commented May 2, 2026

No description provided.

@tomkins tomkins merged commit 9635a05 into master May 5, 2026
1 check passed
@tomkins tomkins deleted the pin-actions branch May 5, 2026 10:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants