Skip to content

Chore deps - #25

Merged
duncdrum merged 3 commits into
masterfrom
chore-deps
Jan 20, 2026
Merged

duncdrum merged 3 commits into
masterfrom
chore-deps

Conversation

@duncdrum

@duncdrum duncdrum commented Jan 20, 2026 •

Copy link
Copy Markdown
Contributor

close #23 #24

@duncdrum
duncdrum requested a review from windauer January 20, 2026 13:06
@duncdrum duncdrum added dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code labels Jan 20, 2026
@duncdrum
duncdrum merged commit 34cf88a into master Jan 20, 2026
3 checks passed
@duncdrum
duncdrum deleted the chore-deps branch January 20, 2026 15:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant