Skip to content

Set up CI with Azure Pipelines#20

Merged
bors[bot] merged 1 commit intomasterfrom
azure-pipelines
Aug 4, 2019
Merged

Set up CI with Azure Pipelines#20
bors[bot] merged 1 commit intomasterfrom
azure-pipelines

Commits

Commits on Aug 4, 2019