CI: stop generating doc for each Rust toolchain

We do only care for one, and it is the one running in gh-page.yml
o1-labs · Jan 7, 2025 · c4a5de1 · c4a5de1
1 parent 40b39cf
commit c4a5de1
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -131,11 +131,6 @@ jobs:
         run: |
           git diff --exit-code ":(exclude)rust-toolchain"
 
-      - name: Build cargo docs
-        run: |
-          eval $(opam env)
-          make generate-doc
-
       #
       # Coding guidelines
       #