Repository navigation

Fix the CI: pin third-party repositories and fix package dependencies - #58

Merged

fmrico merged 3 commits into

mainfrom

Sep 27, 2026

Merged

Fix the CI: pin third-party repositories and fix package dependencies#58
fmrico merged 3 commits into
mainfrom
ci-thirdparty

Commits on Sep 26, 2026
- Fix the cascade_lifecycle branch in thirdparty.repos
  
  fmrico
  and
  claude
  committed
  922cffd
- CI: do not request cs4home_core, it is not part of this workspace
  
  fmrico
  and
  claude
  committed
  a2b6277
- Pin third-party repositories and fix package dependencies
  
  fmrico
  and
  claude
  committed
  295e942