Skip to content

Improve descriptor repr and pin bumps#130

Merged
henrikjacobsenfys merged 3 commits intodevelopfrom
improve_descriptor_repr
Jul 18, 2025
Merged

Improve descriptor repr and pin bumps#130
henrikjacobsenfys merged 3 commits intodevelopfrom
improve_descriptor_repr

Commits

Commits on Jul 9, 2025

Commits on Jul 18, 2025