Skip to content

ci: fix yum repos to use devel site instead of old site name [citest_skip]#283

Merged
richm merged 1 commit intomainfrom
use-devel-site-yum-repo
Apr 1, 2026
Merged

ci: fix yum repos to use devel site instead of old site name [citest_skip]#283
richm merged 1 commit intomainfrom
use-devel-site-yum-repo

Commits

Commits on Apr 1, 2026