Rename gitlab ci config

This commit is contained in:
2018-06-25 23:59:56 +01:00
parent 72a732a104
commit 44f00a6935