Code

ci: finish the migration to azure#62247

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

pietroalbini:finish-azure-migrationpietroalbini/rust:finish-azure-migrationCopy head branch name to clipboard

Jul 1, 2019

Commits

Commits on Jul 1, 2019

• ci: finish the migration to azure

  pietroalbini

  committed
  1992931

  Copy full SHA for 1992931

• Update RLS to disable spurious client_find_definitions test

  Show description for 8c96088
  

  Xanewok

  authored and

  pietroalbini

  committed
  8c96088

  Copy full SHA for 8c96088

• bump miri to fix line endings on azure

  pietroalbini

  committed
  dc9d2b3

  Copy full SHA for dc9d2b3