These tests are not tagged as `TimingTest` and 10 ms might seem like ages, but I think it needs to be dilated to have some safety margin on the slow Jenkins.