Abstract: In this talk I will review massive type IIA flux compactifications that seem to give rise to infinite families of supersymmetric 4d AdS vacua. These vacua provide an interesting testing ground for the swampland program. After reviewing potential shortcomings of this setup, I will discuss recent progress on overcoming them and getting a better understanding of these solutions.