From baded7fa5a3ea284e77a101ff3b7313cb9ac2e75 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 19 Dec 2025 21:14:20 +0000 Subject: [PATCH] Refactor documentation workflow to simplify installation Remove redundant command for installing Python package. --- .github/workflows/docs.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index a30726903..858b56378 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -56,7 +56,6 @@ jobs: python3 scripts/mk_make.py --python --ml --build=build-x64 cd build-x64 make -j$(nproc) - Z3BUILD=build-x64 cd ../src/api/python && python3 -m pip install --user . - name: Generate Documentation (from doc directory) working-directory: doc @@ -67,7 +66,6 @@ jobs: mkdir api/html/ml ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build-x64/api/ml ../build-x64/api/ml/z3enums.mli ../build-x64/api/ml/z3.mli - - name: Setup emscripten uses: mymindstorm/setup-emsdk@v14 with: