Skip to content

Update job names for scripts CI#11585

Merged
chainchad merged 1 commit intodevelopfrom scripts-ci-job-namesDec 15, 2023

Commits

Commits on Dec 15, 2023