diff options
| author | bors <bors@rust-lang.org> | 2019-07-01 15:14:16 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-07-01 15:14:16 +0000 |
| commit | 6ea4036cd20a4b1ab1d56e555108c21735ff6946 (patch) | |
| tree | 21094e28519ea653d56fbffc12058576f9165b07 /src | |
| parent | 765eebf064ae17347f3532791760fc5c2150b5ea (diff) | |
| parent | dc9d2b34df212c7c3ae9f30c078bd10148eb32e7 (diff) | |
Auto merge of #62247 - pietroalbini:finish-azure-migration, r=Mark-Simulacrum
ci: finish the migration to azure This moves to azure the last builders as we discussed on Discord last night. r? @alexcrichton
Diffstat (limited to 'src')
| m--------- | src/tools/miri | 16 | ||||
| m--------- | src/tools/rls | 0 |
2 files changed, 8 insertions, 8 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 72b2e1045d642c517347c421b1db92e34c22a70 +Subproject d2df509867fbbbd35730c90aef54a8e73b046cd diff --git a/src/tools/rls b/src/tools/rls -Subproject 597c9be8c75be3e664f189c4325c96cf9b464dc +Subproject 124483dd2f10fe3ba32f7f5b75f32224c77f901 |