A GitLab update will be applied on May 23, between 8am and 10am, EDT (UTC-04:00). This site may have intermittent delays during that time.
This was accidentally left out of commit 0467a2f9 (PCH: add PRECOMPILE_HEADERS to special properties, 2015-03-12). Also add a test case for `install(EXPORT)` and `export()` propagation of precompiled headers. Fixes: #19741