Skip to content

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

Merged
Tobias-Fischer merged 7 commits into
mainfrom
ci-machinery
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

build:<distro> PR labels instead of shared/ci.yaml build_distros

cbc90d5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar