Yep, you're right, this isn't a very good look. CI should be fixed now tho :).