CI config: no need to make both install and install_docs