kennytm 649f431acf Give a name to every CI job. ... Bots that read the log can simply look for `[CI_JOB_NAME=...]` to find out the job's name.		2018-04-06 01:09:59 +08:00
..
docker	Give a name to every CI job.	2018-04-06 01:09:59 +08:00
init_repo.sh	Update submodules in parallel	2018-03-19 04:50:30 +01:00
run.sh	Give a name to every CI job.	2018-04-06 01:09:59 +08:00
shared.sh	ci: Improve log output (mainly Travis).	2017-06-02 01:14:26 +08:00