Auto merge of #62757 - pietroalbini:fix-linuxtools, r=alexcrichton

bors · bors · commit bc2e84ca0939 · 2019-07-17T19:40:33.000Z
ci: fix LinuxTools PR builder missing environment variables This PR includes the new `public-credentials` variables group in PR builders, hopefully fixing sccache and toolstate. ~~Do not merge this yet as I want to do a test build first.~~ r? @alexcrichton fixes #62754 #62753
diff --git a/.azure-pipelines/pr.yml b/.azure-pipelines/pr.yml
@@ -6,6 +6,9 @@ trigger: none
 pr:
 - master
 
+variables:
+- group: public-credentials
+
 jobs:
 - job: Linux
   timeoutInMinutes: 600
