Skip to content

Pin/upgrade GitHub Actions#26

Merged
tomkins merged 1 commit intomasterfrom
pin-actions
May 2, 2026
Merged

Pin/upgrade GitHub Actions#26
tomkins merged 1 commit intomasterfrom
pin-actions

Conversation

@tomkins
Copy link
Copy Markdown
Member

@tomkins tomkins commented May 2, 2026

No description provided.

@tomkins tomkins merged commit eb4df65 into master May 2, 2026
13 checks passed
@tomkins tomkins deleted the pin-actions branch May 2, 2026 13:43
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.

1 participant