Fix wrong Windows CI

This commit is contained in:
Federico Terzi 2019-09-21 18:07:13 +02:00
parent 00820d4ba3
commit 477f2e574a