Yeah under that post he also says "If you want this to happen fast, please let your local & federal elected representatives know" and "Still a lot of work needed to receive formal approval, but am optimistic that will occur rapidly". Not just "technically" not a commitment to build. Clearly dependent on other factors.

Go ahead and count it as "abandoned" if you want. He did talk about building a Hyperloop and is not currently pursuing it directly. But I think failing to win required government approval/funding is a bit different than capriciously giving up on an idea, and The Boring Company itself is far from abandoned. Very different from the solar roof which is unambiguously a commercial failure.

That would be reasonable if not for the BS “verbal govt approval” bit.