Let R —> Λ be a ring map. Let I ⊂ R be an ideal. Assume that

1. I is nilpotent,
2. Λ/IΛ is a filtered colimit of smooth R/I-algebras, and
3. R —> Λ is flat.

Then Λ is a colimit of smooth R-algebras. See Tag 07CM.