Skip to content

chore: pin titanoboa#39

Merged
inffy merged 1 commit intomainfrom
pin-titanoboa
Feb 11, 2026
Merged

chore: pin titanoboa#39
inffy merged 1 commit intomainfrom
pin-titanoboa

Conversation

@renner0e
Copy link
Contributor

big changes coming to titanoboa which will blow everything up, we should pin our dependencies anyway

big changes coming to titanoboa which will blow everything up, we should
pin our dependencies anyway
@inffy inffy merged commit 9ca91e1 into main Feb 11, 2026
0 of 2 checks passed
@inffy inffy deleted the pin-titanoboa branch February 11, 2026 14:50
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

Comments