Repository navigation

Clean up caches #257

Job	Run time
Delete the caches a newer run has replaced / Delete superseded caches	4s
Delete caches	0s
Delete every cache of the closed pull request	0s
Delete the caches a newer run has replaced / Free space if the repository is over its target	6s
	10s