]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e91aebc) | patch
ci: use bash when executing the "bors build finished" jobs
authorPietro Albini <pietro@pietroalbini.org>
Wed, 29 Apr 2020 14:32:06 +0000 (16:32 +0200)
committerPietro Albini <pietro@pietroalbini.org>
Wed, 29 Apr 2020 14:32:32 +0000 (16:32 +0200)
commitfde5811d7403f1e1f0ff5ccf1d1d0516d6d3c966
tree3da44a917587d28880da2aca89da39b4fff57b14tree | snapshot
parente91aebc1a3835b9b420da0c021e211175a724b8dcommit | diff
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.
.github/workflows/ci.yml diff | blob | history
src/ci/github-actions/ci.yml diff | blob | history
Empowering everyone to build reliable and efficient software.