Skip to content

Chore/update deps#100

Merged
joseph-neeraj merged 1 commit into
mainfrom
chore/update-deps
Jul 3, 2026
Merged

Chore/update deps#100
joseph-neeraj merged 1 commit into
mainfrom
chore/update-deps

Conversation

@joseph-neeraj

Copy link
Copy Markdown
Contributor

update dependencies and regular maintenance

@tomcrofts tomcrofts self-assigned this Jul 3, 2026
@joseph-neeraj joseph-neeraj merged commit 3b020ea into main Jul 3, 2026
19 checks passed
@joseph-neeraj joseph-neeraj deleted the chore/update-deps branch July 3, 2026 14:18
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