Skip to content

🔧 Update and pin versions better#27

Merged
jerr0328 merged 2 commits into
mainfrom
infra/pin-actions-update
May 1, 2026
Merged

🔧 Update and pin versions better#27
jerr0328 merged 2 commits into
mainfrom
infra/pin-actions-update

Conversation

@jerr0328

@jerr0328 jerr0328 commented May 1, 2026

Copy link
Copy Markdown
Owner

No description provided.

@jerr0328 jerr0328 merged commit 8b2cd6a into main May 1, 2026
2 checks passed
@jerr0328 jerr0328 deleted the infra/pin-actions-update branch May 1, 2026 09:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant