Skip to content

ci: install kernel toolchain too#907

Merged
mkroening merged 1 commit intohermit-os:mainfrom mkroening:toolchain-installSep 11, 2023

Commits

Commits on Sep 11, 2023