2023-07-15 - tools.ranker
15:41	<wm-bot>	<lucaswerkmeister> deployed 0e3bf213e8 (cleanup typings and update github actions)	[tools.ranker]