Add an actions pipeline that builds the docs and pushes them to the docs repository (specifically the dev folder) every commit.