diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 12cdfa040..eebff5803 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -104,7 +104,6 @@ stages: set -e eval `opam config env` cd doc - pip3 install importlib-resources python3 mk_api_doc.py --mld --z3py-package-path=../build/python/z3 python3 mk_params_doc.py mkdir api/html/ml