Skip to content

ci: don't skip the ci when we have automatic commits#8089

Merged
domoritz merged 1 commit intonextfrom dom/ci-skipApr 4, 2022

Commits

Commits on Apr 4, 2022