Automated Release and Pinning #63
Description
Right now, the release process is quite manual and, even though we don't have frequent updates on this repository, I would be useful to have automated releases performing the build and pinning. Additionally, we could also remove the directory docs from the control versioning since that's the result of the build process.