Repository navigation

Install development tools directly in CI - #398

Merged

andrew merged 1 commit into

mainfrom

install-tools-in-ci

Oct 1, 2026

Merged

Install development tools directly in CI#398
andrew merged 1 commit into
mainfrom
install-tools-in-ci

Commits on Oct 1, 2026
- Install development tools directly in CI
  andrew
  committed
  4b381e5