I don't think they were. All the Mars stuff is just dressed up version of The Boring Company - a distraction by Elon to better position his other interests.
There's no money in going to Mars and there's no reason to, from a financial perspective, and Elon doesn't care about anything beyond wealth and power.
We already have a perfectly usable planet. It just need to be taken care of.