summary refs log tree commit diff
path: root/src/ci/exec-with-shell.py
AgeCommit message (Collapse)AuthorLines
2020-07-23ci: Replace exec-with-shell wrapper with "plain bash"Kristofer Rye-16/+0
Also, promote defaults.run.shell from inside only the primary jobs to the top level. The src/ci/exec-with-shell.py wrapper script was formerly used to change out the shell mid-job by intercepting a CI_OVERRIDE_SHELL environment variable. Now, instead, we just set `bash` as the global default across all jobs, and we also delete the exec-with-shell.py script. Signed-off-by: Kristofer Rye <kristofer.rye@gmail.com>
2020-03-24ci: add github actions configurationPietro Albini-0/+16