about summary refs log tree commit diff
path: root/src/ci/docker/scripts/dumb-init.sh
AgeCommit message (Expand)AuthorLines
2017-08-26ci: Remove the need for `dumb-init`Alex Crichton-15/+0
2017-07-18travis: Switch `curl -s` to `curl -f`Alex Crichton-1/+1
2017-07-17travis: Make a few `curl` invocations more resilientAlex Crichton-1/+1
2017-05-18ci: move shared scripts to src/ci/docker/scripts/Marco A L Barbosa-0/+15