ci: Replace exec-with-shell wrapper with "plain bash"

2020-07-17T13:44:14+00:00

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

ci: add github actions configuration

2020-03-24T14:36:07+00:00

rust/src/ci/exec-with-shell.py, branch beta

ci: Replace exec-with-shell wrapper with "plain bash"

ci: add github actions configuration