Skip to content

Enhance package management with new APIs, tools, and workflows#714

Merged
chrisgregan merged 22 commits into
mainfrom
workshop-api
Jun 18, 2026
Merged

Enhance package management with new APIs, tools, and workflows#714
chrisgregan merged 22 commits into
mainfrom
workshop-api

Add workshop connection check and UI feedback

d999ec1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Run Python Tests
succeeded Jun 18, 2026 in 14s