Fix doc
Added coverage and documentation lint in CI