* Add back CI, remove ospec as a run-time dependency * Fix the lint:docs errors * Add back ospec for now, with a compatible version