Merge pull request #2931 from o1-labs/dw/stop-generating-doc-for-each…

…-rust-version CI: stop generating doc for each Rust toolchain
o1-labs · Jan 8, 2025 · 5957c0d · 5957c0d
2 parents 28eca9a + c4a5de1
commit 5957c0d
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
       #