The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme G over a regular local ring R is trivial. We settle it in the case when G is quasi-split and R is unramified. To overcome obstacles that have so far kept the mixed characteristic case out of reach, we adapt Artin's construction of "good neighborhoods" to the setting where the base is a discrete valuation ring, build equivariant compactifications of tori over higher dimensional bases, and study the geometry of the affine Grassmannian in bad characteristics. Speaker(s): Kestutis Cesnavicius (Orsay)