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
