diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-04-29 16:32:06 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-04-29 16:32:32 +0200 |
| commit | fde5811d7403f1e1f0ff5ccf1d1d0516d6d3c966 (patch) | |
| tree | 3da44a917587d28880da2aca89da39b4fff57b14 /library/std/src | |
| parent | e91aebc1a3835b9b420da0c021e211175a724b8d (diff) | |
| download | rust-fde5811d7403f1e1f0ff5ccf1d1d0516d6d3c966.tar.gz rust-fde5811d7403f1e1f0ff5ccf1d1d0516d6d3c966.zip | |
ci: use bash when executing the "bors build finished" jobs
We don't clone the repository in those builders, so the default shell (src/ci/exec-with-shell.py) is not present there.
Diffstat (limited to 'library/std/src')
0 files changed, 0 insertions, 0 deletions