From fde5811d7403f1e1f0ff5ccf1d1d0516d6d3c966 Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Wed, 29 Apr 2020 16:32:06 +0200 Subject: 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. --- src/ci/github-actions/ci.yml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/ci/github-actions') 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 ########################### -- cgit 1.4.1-3-g733a5