From 446059b002e171db9916b42126916a3e6dfb962b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ramon=20Fern=C3=A1ndez=20Mir?= <rfernandezmir@gmail.com>
Date: Fri, 8 Mar 2024 14:03:41 +0000
Subject: [PATCH] fix: no docs for tests or examples

---
 .github/workflows/docs.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 08de8dd1..3f11904e 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -31,11 +31,13 @@ jobs:
         with:
           repository: verified-optimization/CvxLean
           path: CvxLean
-      - name: Build egg-pre-dcp, CvxLean, and CvxLeanTest
+      - name: Build egg-pre-dcp and CvxLean
         working-directory: CvxLean
         run: |
           ./build.sh
-          lake build CvxLeanTest
+          # TODO: This fails because no MOSEK, it would be nice to generate docs for examples and 
+          # tests too, skip for now.
+          # lake build CvxLeanTest
       - name: Create dummy docs project
         run: |
           # Taken from https://github.com/leanprover-community/mathlib4_docs