This CI job has been failing for over 2 months which means nobody is interested in it. So let's just remove it.