Skip to content

devops: separated linting into own job#48

Merged
pavelfeldman merged 2 commits intomicrosoft:masterfrom
mxschmitt:devops/cleanup-ci-and-coverage
Jul 13, 2020
Merged

devops: separated linting into own job#48
pavelfeldman merged 2 commits intomicrosoft:masterfrom
mxschmitt:devops/cleanup-ci-and-coverage

Commits

Commits on Jul 12, 2020