Skip to content

Comments

chore: bump deps#71

Closed
tipogi wants to merge 2 commits intomainfrom
chore/bump-crate-deps
Closed

chore: bump deps#71
tipogi wants to merge 2 commits intomainfrom
chore/bump-crate-deps

Conversation

@tipogi
Copy link
Contributor

@tipogi tipogi commented Sep 24, 2025

No description provided.

@tipogi tipogi self-assigned this Sep 24, 2025
@tipogi tipogi added the dependencies Pull requests that update a dependency file label Sep 24, 2025
@tipogi tipogi force-pushed the chore/bump-crate-deps branch 2 times, most recently from a6e20d3 to 22f08d9 Compare December 1, 2025 15:39
@ok300
Copy link
Contributor

ok300 commented Dec 1, 2025

See CI fix in #82

@ok300
Copy link
Contributor

ok300 commented Dec 4, 2025

I split this PR into 2 smaller ones:

@ok300 ok300 closed this Dec 4, 2025
@ok300 ok300 mentioned this pull request Dec 7, 2025
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants