Skip to content

ci: move .azure-pipelines to src/ci/azure-pipelines#63242

Merged
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:move-azure-pipelines
Aug 3, 2019

Commits

Commits on Aug 3, 2019