Skip to content

ci: add infrastructure label#3270

Merged
rickstaa merged 1 commit intomasterfrom ci_add_infrastructure_labelSep 21, 2023

Commits

Commits on Sep 21, 2023