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]