### Describe the feature This issue is a part of #2651 . We should build the documentation after a release PR is merged.
Describe the feature
This issue is a part of #2651 . We should build the documentation after a release PR is merged.