I wanted to ask my crush out but then I saw him on Tinder and we didn't match?

I don't know what to do, should I still ask him out? Or not, because we didn't match on Tinder and it's sign he doesn't like me? We are ex co-workers but we never talked to each other, we only know of each other.
I wanted to ask my crush out but then I saw him on Tinder and we didn't match?
Post Opinion