GHAs and precompiled headers

[Thomas Stüfe]

Hi,

We generally build without --disable-precompiled-headers in GHAs, which
hides errors from missing includes. Since GHAs are very useful to test
builds on side platforms, would it not make sense to build without
precompiled headers? Or is that too costly?

Thanks, Thomas