Skip to content

ci: remove old_name now that pipelines are configured#669

Merged
aramprice merged 1 commit into
ubuntu-jammyfrom
remove-old_name
Jun 23, 2026
Merged

ci: remove old_name now that pipelines are configured#669
aramprice merged 1 commit into
ubuntu-jammyfrom
remove-old_name

Commits

Commits on Jun 23, 2026