$\mathsf{PFA}$ and $\omega_1$-free compact spaces.

The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $\omega_1$-sequence.