Skip to content

Double check repo & dep update#36

Merged
tib merged 5 commits intomainfrom
fix/double-check
Feb 5, 2026
Merged

Double check repo & dep update#36
tib merged 5 commits intomainfrom
fix/double-check

Conversation

@tib
Copy link
Contributor

@tib tib commented Feb 5, 2026

  • text formating
  • workflow updates
  • bump dep

@tib tib requested review from GErP83, mzpx and viaszkadi February 5, 2026 11:04
@tib tib merged commit 7774225 into main Feb 5, 2026
17 checks passed
@tib tib deleted the fix/double-check branch February 5, 2026 11:47
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.

3 participants