Skip to content

Run CI only when useful#1372

Closed
victorlin wants to merge 1 commit intomasterfrom victorlin/no-unnecessary-ci

Commits

Commits on Dec 20, 2023