Skip to content

ops: also install optional dependencies in workflow/precommit#751

Merged
georgeh0 merged 1 commit intomainfrom
quick-fix
Jul 14, 2025
Merged

ops: also install optional dependencies in workflow/precommit#751
georgeh0 merged 1 commit intomainfrom
quick-fix

Commits

Commits on Jul 14, 2025