FIX: doc build

cproof · cproof · commit 21050f1e35bf · 2026-03-20T17:48:59.000Z
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -8,6 +8,9 @@ jobs:
     executor: python/default
     steps:
       - checkout
+      - run:
+          name: Upgrade pip and setuptools
+          command: python -m ensurepip --upgrade || true && python -m pip install --upgrade pip setuptools
       - run:
           name: Install Python dependencies
           command: |
