Skip to content

fix crit deps#1981

Merged
Olmo Maldonado (ibolmo) merged 1 commit into
mainfrom
fix-crit-deps
May 11, 2026
Merged

fix crit deps#1981
Olmo Maldonado (ibolmo) merged 1 commit into
mainfrom
fix-crit-deps

Conversation

@ibolmo
Copy link
Copy Markdown
Contributor

@ibolmo Olmo Maldonado (ibolmo) commented May 11, 2026

@ibolmo Olmo Maldonado (ibolmo) merged commit f90c760 into main May 11, 2026
49 checks passed
@ibolmo Olmo Maldonado (ibolmo) deleted the fix-crit-deps branch May 11, 2026 22:40
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