From c4a5de18bbbf905c67a3d1516f195df69591b4b4 Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Tue, 7 Jan 2025 20:11:38 +0100
Subject: [PATCH] CI: stop generating doc for each Rust toolchain

We do only care for one, and it is the one running in gh-page.yml
---
 .github/workflows/ci.yml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 97502dd7a1..5260aeb4ec 100644
--- 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
       #