Skip to content

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
Closed

chore(release): development & release protocol, PR-time CI, release workflow, distribution rename#30
geng-haoran wants to merge 3 commits into
maint/lint-and-formatfrom
maint/release-protocol

test: contract test expects the roboverse-metasim distribution name

9c26a02
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar