Skip to content

chore: update to Theia CR 1.71.2 and modernize CI workflows#57

Merged
ndoschek merged 3 commits into
masterfrom
nd/update-cr
Jun 1, 2026
Merged

chore: update to Theia CR 1.71.2 and modernize CI workflows#57
ndoschek merged 3 commits into
masterfrom
nd/update-cr

ci: modernize publish workflow and simplify dependency install

1903461
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar