How do the games that give you sats work? Do they actually mine bitcoin when you play them?

I think it's just promotional but I don't know how they sustain it