Skip to content

Use pinned versions for the actions we rely on.#377

Merged
Colin-TUE merged 1 commit into
mainfrom
feature/use-pinned-versions
Jul 3, 2026
Merged

Use pinned versions for the actions we rely on.#377
Colin-TUE merged 1 commit into
mainfrom
feature/use-pinned-versions

Conversation

@Colin-TUE

Copy link
Copy Markdown
Contributor

No description provided.

@Colin-TUE Colin-TUE self-assigned this Jul 2, 2026
@Colin-TUE Colin-TUE requested a review from a team July 2, 2026 14:17
@Colin-TUE Colin-TUE merged commit 7baba57 into main Jul 3, 2026
2 checks passed
@Colin-TUE Colin-TUE deleted the feature/use-pinned-versions branch July 3, 2026 12:34
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.

2 participants