Skip to content

Clean up DSL CI by using GitHub actions paths#1086

Merged
j-rivero merged 1 commit intomasterfrom jrivero/ci_only_on_dsl_pathsNov 30, 2023

Commits

Commits on Nov 30, 2023