Rename a few CI things to a useful names

This commit is contained in:
louiz’
2018-01-26 00:35:32 +01:00
parent 6dca27f08d
commit a209e77fc2
2 changed files with 3 additions and 3 deletions