Right now, we have to compile the documentation locally before pushing. This both causes issues with needing to remember to update the documentation, but also a hot mess of merge changes that are completely unnecessary to be checking. Is there an intelligent way to do this so that it's somehow compiled on github on push? Or some other method that removes user error and giant merge requests?
Right now, we have to compile the documentation locally before pushing. This both causes issues with needing to remember to update the documentation, but also a hot mess of merge changes that are completely unnecessary to be checking. Is there an intelligent way to do this so that it's somehow compiled on github on push? Or some other method that removes user error and giant merge requests?