6 ms·Github'PR and CI are some of the worst.by curcbit 10mo agoGithub'PR and CI are some of the worst.