Increase coverage timeout See merge request !1103
mentioned in issue #826 (closed)
mentioned in issue #827 (closed)