For metric spaces, sequential and usual compactness coincide:
https://en.m.wikipedia.org/wiki/Sequentially_compact_space