Skip to content

Remove Azure Pipelines configuration#97756

Merged
bors merged 4 commits intorust-lang:masterfrom
pietroalbini:pa-remove-azure-pipelines
Jun 5, 2022
Merged

Remove Azure Pipelines configuration#97756
bors merged 4 commits intorust-lang:masterfrom
pietroalbini:pa-remove-azure-pipelines

Commits

Commits on Jun 5, 2022