Ignore a test that sometimes fails on Jenkins.