Heh, where Travis used to be the slow CI, Circle now takes 2x as long as Travis. Travis used to be ~1:00, now Travis is ~0:30. Circle used to be ~0:30, now, Circle is ~1:00.
@NormalHuman Very short answer + link shortener ... I think that will be a good filter. My impression is that it's mostly spammers who use link shorteners.