Skip to content

Rector CI is now exclusive for non-fork pushes + PRs#3015

Merged
JanMikes merged 2 commits intomasterfrom
push-from-fork
Mar 12, 2020
Merged

Rector CI is now exclusive for non-fork pushes + PRs#3015
JanMikes merged 2 commits intomasterfrom
push-from-fork

Commits

Commits on Mar 12, 2020