moved ci script into the right place

This commit is contained in:
2021-01-19 10:33:38 +01:00
parent 335b1cd697
commit f6fcc96224