no need to build docs in cibuild

script/cibuild

@@ -29,6 +29,4 @@ echo "## formatting ############################################################
 script/format --check || (echo "Formatting check failed, run ./script/format" && exit 1)
 echo "## tests/coverage ##############################################################"
 script/coverage
-echo "## documentation ###############################################################"
-script/generate-docs
 echo "## complete ####################################################################"