For most people i see at work with their mugs that amounts to either 5 seconds in the sink, or no time at all since they will just slosh the new coffee into the dirty cup.
Can confirm. My coffee mugs get washed once every “ok that’s really gross”. I mean, it always holds the same piping hot liquid and only one person ever drinks out of it. So what’s the point of keeping the mug pristinely clean?