Let $G$ be a compact Lie group (or reductive algebraic group over $\mathbb{C}$), and let $BG$ be its classifying space. Fix a prime $p$. Let $\mathcal{A}$ denote the dg algebra of singular cochains on $BG$ with coefficients in a field or characteristic $p$ (or if you prefer the dg algebra of endomorphisms of the constant sheaf). My question is:

Is it known for which primes $p$ the dg algebra $\mathcal{A}$ is formal, that is, quasi-isomorphic to a dg algebra with trivial differential?

I assume / hope that the answer is that this is true if $p$ is not a torsion prime for $G$ (i.e. $p$ arbitrary in types $A$ and $C$, $p \ne 2$ in types $B$, $D$ and $G_2$, $p \ne 2, 3$ in types $F_4$, $E_6$ and $E_7$, and $p \ne 2,3,5$ in type $E_8$.)

Note that we know* that $\mathcal{A}$ is formal in characteristic 0.

Can one then conclude that it is formal in any characteristic in which the cohomology of $\mathcal{A}$ is torsion free?

If so I think this would give the above list of primes.

*) for example because $H(BG, \mathbb{Q})$ is a poynomial algebra, and $\mathcal{A}$ admits a graded commutative model using the de Rham complex -- see Bernstein-Lunts "Equivariant sheaves and functors".