Hi all, I am starting a discussion to gather ideas on how to improve the website publish process in our release procedure. Searchbox doesn't work immediately after we publish the documentation for new release. It happened both 2.4.0 and 2.4.1 release.
- The documentation is indexed using Algolia DocSearch. - Algolia only indexes the documentation when the documentation is alive. - Apparently the index sometimes take longer time to complete. So it seems to me that we should consider marking the release as active/default only after confirming that Algolia already indexes the documentation and search box is working properly. Thoughts? - Sijie
