Fixing CI file

This commit is contained in:
David Négrier 2020-04-06 17:59:35 +02:00
parent cf7125301a
commit 619f7a6bf6