Skip to content

Chores deps#31

Merged
duncdrum merged 3 commits intomasterfrom
chores-deps
Jan 20, 2026
Merged

Chores deps#31
duncdrum merged 3 commits intomasterfrom
chores-deps

Conversation

@duncdrum
Copy link
Contributor

@duncdrum duncdrum commented Jan 20, 2026

close #30
close #29

@duncdrum duncdrum requested a review from windauer January 20, 2026 12:46
@duncdrum duncdrum merged commit f2f7092 into master Jan 20, 2026
7 of 8 checks passed
@duncdrum duncdrum deleted the chores-deps branch January 20, 2026 14:53
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