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

ci: remove `old_name` now that pipelines are configured

5e58ebb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view