Currently, once we commit and merge changes to the documentation in docs_src, the github page doesn't get updated automatically. To solve this, update github actions to publish website to github pages once there is a change in docs_src