Skip to content

Set up CI with Azure Pipelines#72

Merged
mratsim merged 17 commits intomasterfrom azure-pipelinesFeb 6, 2020

Commits

Commits on Feb 5, 2020

Commits on Feb 6, 2020