Emmanuele Bassi 4b33cc5f89 ci: Update the configuration options ...

The options were renamed in commit 7b32900c55.

2018-03-01 17:08:27 +07:00

..

Dockerfile

gitlab-ci: run parts of the test suite

2018-02-19 19:43:42 +01:00

run-docker.sh

gitlab-ci: run parts of the test suite

2018-02-19 19:43:42 +01:00

test-docker.sh

ci: Update the configuration options

2018-03-01 17:08:27 +07:00