Recommend --config-cache for ./configure (#1794)
#1829
| Job | Run time |
|---|---|
| 9s | |
| 9s |
--config-cache for ./configure (#1794)
#1829
| Job | Run time |
|---|---|
| 9s | |
| 9s |