Skip to content

Change all PR ci jobs (-ci-pr_any-) to use the yaml configuration#1022

Merged
j-rivero merged 7 commits intomasterfrom jrivero/ci-pr_any-newOct 6, 2023

Commits

Commits on Sep 28, 2023

Commits on Oct 2, 2023