4 ms·

while i agree that github is a huge CI player, i really really miss gitlab's ci -- i feel like they were more flexible compared to github's.