2 ms·

I was thinking about a non-public merge, but with running the tests the article mentions. I don't know anything about their build setup though.