Merge: Some more small improvements on gitlab-ci
authorJean Privat <jean@pryen.org>
Thu, 13 Jun 2019 14:14:24 +0000 (10:14 -0400)
committerJean Privat <jean@pryen.org>
Thu, 13 Jun 2019 14:14:24 +0000 (10:14 -0400)
Pull-Request: #2744

1  2 
.gitlab-ci.yml
tests/tests.sh

diff --cc .gitlab-ci.yml
Simple merge
diff --cc tests/tests.sh
Simple merge