Skip to content

ci: stop storing the package tables in git - #154

Merged
ruben-arts merged 1 commit into
RoboStack:mainfrom
Hofer-Julian:fetch-tables-on-demand
Aug 10, 2026
Merged

ci: stop storing the package tables in git#154
ruben-arts merged 1 commit into
RoboStack:mainfrom
Hofer-Julian:fetch-tables-on-demand

Commits

Commits on Aug 10, 2026