This is fairly common in both depression and ADHD, so maybe check on them? Like, make sure they are personally okay. Someone who needs to be consistently stimulated is probably uncomfortable at rest. Being bored all the time is something I struggle with personally. I have ADHD and depression and trauma. Addressing and working on those things helps immensely with the chronic boredom. When I’m more depressed or anxious, I’m more easily bored and crave more stimulation. So, yeah, play Ted Lasso and check in on them.