2024-04-08 - releng
08:57	<hashar>	Stopped Docker on all agents, manually deleted `/srv/jenkins/workspace` which accumulated leftover bits over time, restarted CI Jenkins	[releng]