Skip to content

Add Azure Pipelines configuration#60777

Merged
bors merged 59 commits intorust-lang:masterfrom pietroalbini:azure-pipelinesMay 24, 2019

Commits

Commits on May 10, 2019

Commits on May 13, 2019

Commits on May 15, 2019

Commits on May 20, 2019

Commits on May 21, 2019

Commits on May 22, 2019

Commits on May 24, 2019