Skip to content

Update tooling and workflow#5

Merged
gibbs merged 1 commit intomasterfrom
update-tooling
Apr 20, 2025
Merged

Update tooling and workflow#5
gibbs merged 1 commit intomasterfrom
update-tooling

Conversation

@gibbs
Copy link
Owner

@gibbs gibbs commented Feb 8, 2025

Update various versions in tooling

@gibbs gibbs marked this pull request as ready for review April 20, 2025 10:02
@gibbs gibbs merged commit 0f1a684 into master Apr 20, 2025
4 checks passed
@gibbs gibbs deleted the update-tooling branch April 20, 2025 10:02
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