The “corona” in the vaccine dhpp- “c” given to our dogs annually for preventing distemper, hepatitis, parainfluenza, parvo, and “corona” virus is NOT the same as the corona virus Covid-19.
So no they aren’t vaccinated for it, BUT there’s really no need to mask your dogs.
Do take precautions and wash your hands.
Mercurynews.com explains how one dog tested positive.
(Above picture Fidomingle Facebook /link Mercury News)