fix filename for gitlab ci

This commit is contained in:
Philipp Kunz 2016-09-25 14:01:50 +02:00
parent b2be73e8a6
commit 6380998fcf