2025-06-27 - tools.phpunit-results-cache
08:49	<wmbot~lucaswerkmeister-wmde@tools-bastion-13>	webservice restart # clear cache, maybe it fixes https://gerrit.wikimedia.org/r/1164312 (cc hashar)	[tools.phpunit-results-cache]