Restart Mike synchronization after oversized-diff fix #184

Job	Run time
Governance and release checks	1m 29s
Workflow validation	9s
Backend build and tests	30s
Frontend build	3m 33s
Website build, lint, and routes	46s
verify	4s
	6m 31s

Navigation Menu