4 ms·

Yeah, it would be nice if this could be built into the PR merge button status much like CI build info can be.