pip install importlib resources

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 14, 2023 · c0ee4e9 · c0ee4e9
1 parent 1ce95d3
commit c0ee4e9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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