Compact-to-Hausdorff homeomorphism criterion

Indeed, every closed subset of $X$ is compact, its image under $f$ is compact, and compact subsets of $Y$ are closed. Thus $f$ is a closed map, so $f^{-1}$ is continuous.

In particular, the criterion applies to a continuous bijection from a compact metric space to any metric space.