Apache NuttX RTOS: GitHub Runners and Mystery Spikes

We have a problem with GitHub Runners in Apache NuttX Project: Sometimes during peak periods ... We use too many of them! In this video I'm documenting everything I know about the problem.