[ci] rename CI config and move to root project (#398)

This commit is contained in:
Tobrun
2020-05-25 16:52:53 +02:00
committed by GitHub
parent de5003813e
commit 66a6c0cea7