Code maintenance: lint, format and build code, generate docs (#805)

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>