Skip to content

chore: drop devenv, take the toolchain from the host - #87

Merged
rubas merged 1 commit into
mainfrom
chore/drop-devenv
Sep 24, 2026
Merged

chore: drop devenv, take the toolchain from the host#87
rubas merged 1 commit into
mainfrom
chore/drop-devenv

chore: drop devenv, take the toolchain from the host

09d4bba
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar