Rename CI file

This commit is contained in:
Luke Murphy
2020-05-16 18:00:05 +02:00
parent 586ff28d07
commit 255dca336c