We examine the possibility of constructing de Sitter compactifications from M-theory. Obtaining de Sitter solutions places certain requirements on the set of quantum corrections and we examine the consistency of the EFT description incorporating these corrections. We find that while quasi-de Sitter solutions seem to be allowed, the strong hierarchy between corrections gets greatly reduced if we require full de Sitter isometry, possibly ruining the validity of the EFT approach.