fix(instrument-repos): import every instrument a repository provides - #1485

Merged

joshunrau merged 6 commits into

mainfrom

fix/instrument-repo-import-completeness

Aug 5, 2026

Commits on Aug 3, 2026

fix(instrument-repos): import every instrument a repository provides

thomasbeaudry
and
claude
committed
8762384

Commits on Aug 4, 2026

Merge branch 'main' into fix/instrument-repo-import-completeness
thomasbeaudry
authored
ef5da95