Oliver Schneider 3084c066e4 Fix the miri tool

2018-04-23 11:38:13 +02:00

..

docker

Fix the miri tool

2018-04-23 11:38:13 +02: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