Skip to content

CI: rename build and run jobs#139

Merged
kr-t merged 5 commits intomainfrom
rename_CI_jobs
Jan 22, 2026
Merged

CI: rename build and run jobs#139
kr-t merged 5 commits intomainfrom
rename_CI_jobs

Commits

Commits on Jan 19, 2026