From: bors <bors@rust-lang.org>
Date: Thu, 23 Apr 2020 17:44:25 +0000 (+0000)
Subject: Auto merge of #1358 - dtolnay:ci, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=cf3868b2eaff89b0e91f1ba75a3c41dc29bff44d;p=rust.git

Auto merge of #1358 - dtolnay:ci, r=RalfJung

Disable interactive prompts in CI

Closes #1357.
---

cf3868b2eaff89b0e91f1ba75a3c41dc29bff44d