Repository navigation

CI and bot machinery: one shared pinning update, build_distros, network retries, vinca fixes - #92

Merged

Tobias-Fischer merged 7 commits into

mainfrom

Oct 14, 2026

Merged

CI and bot machinery: one shared pinning update, build_distros, network retries, vinca fixes#92
Tobias-Fischer merged 7 commits into
mainfrom
ci-machinery

Commits on Oct 14, 2026
- robostack-bot: one conda-forge pinning update for the shared pinning
  
  Tobias-Fischer
  and
  claude
  committed
  a8e2002
- shared/ci.yaml build_distros: choose which distributions a PR builds
  
  Tobias-Fischer
  and
  claude
  committed
  6894736
- PR builds retry network failures, like the staged builds retry index lag
  
  Tobias-Fischer
  and
  claude
  committed
  8d5a7db
- vinca 63469ba: skip packages without package.xml in snapshots; skip-existing per distribution
  
  Tobias-Fischer
  and
  claude
  committed
  46bd261
- Build only rolling in this pull request (TEMPORARY, reset before merging)
  
  Tobias-Fischer
  and
  claude
  committed
  531d321
- Network retries: up to 4, waiting 1, 2, 4 and 8 minutes; also on 'connection error'
  
  Tobias-Fischer
  and
  claude
  committed
  e7e8ef0
- build:<distro> PR labels instead of shared/ci.yaml build_distros
  
  Tobias-Fischer
  and
  claude
  committed
  cbc90d5