Repository navigation

ci: install the pinned toolchain's components in the retried step - #797

Merged

flyingrobots merged 4 commits into

mainfrom

ci/preinstall-pinned-toolchain-components

Oct 13, 2026

Merged

ci: install the pinned toolchain's components in the retried step#797
flyingrobots merged 4 commits into
mainfrom
ci/preinstall-pinned-toolchain-components

Commits on Oct 13, 2026
- ci: install the pinned toolchain components in the retried step
  
  flyingrobots
  and
  claude
  committed
  dfe0a76
- ci: fix workflow indentation from the previous commit
  
  flyingrobots
  and
  claude
  committed
  ececc2a
- ci: install pinned toolchain components in det-gates too
  
  flyingrobots
  and
  claude
  committed
  301c2aa
- Merge remote-tracking branch 'origin/main' into ci/preinstall-pinned-toolchain-components
  flyingrobots
  committed
  a2defd4