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 /src/ci/github-actions | |
| 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 'src/ci/github-actions')
| -rw-r--r-- | src/ci/github-actions/ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ci/github-actions/ci.yml b/src/ci/github-actions/ci.yml index 74581232af7..647da7c8a7e 100644 --- a/src/ci/github-actions/ci.yml +++ b/src/ci/github-actions/ci.yml @@ -210,12 +210,14 @@ x--expand-yaml-anchors--remove: steps: - name: mark the job as a success run: exit 0 + shell: bash <<: *base-outcome-job - &base-failure-job steps: - name: mark the job as a failure run: exit 1 + shell: bash <<: *base-outcome-job ########################### |