chore(release): development & release protocol, PR-time CI, release workflow, distribution rename - #30

Closed

geng-haoran wants to merge 3 commits into

maint/lint-and-formatfrom

maint/release-protocol

Commits on Sep 3, 2026

chore(release): development & release protocol, PR-time CI, release workflow, distribution rename

geng-haoran
and
claude
committed
2751b05
ci: install the examples and mujoco extras for the general suite (test modules import rootutils)

geng-haoran
and
claude
committed
e42925f
test: contract test expects the roboverse-metasim distribution name

geng-haoran
and
claude
committed
9c26a02