From c0d033d25d1876b563423a34d01a12f882f3e2b2 Mon Sep 17 00:00:00 2001
From: Rudy Ges <k@klabz.org>
Date: Fri, 15 Sep 2023 17:22:26 +0200
Subject: [PATCH] [ci] skip xmldoc for ocaml 5

---
 .github/workflows/main.yml              | 1 +
 extra/github-actions/workflows/main.yml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index d5d858a17d3..e4941e8e0ac 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -335,6 +335,7 @@ jobs:
         run: echo "branch=${GITHUB_REF#refs/heads/}" >> $GITHUB_OUTPUT
 
       - name: Build xmldoc
+        if: matrix.ocaml == '4.08.1'
         run: |
           set -ex
           make -s xmldoc
diff --git a/extra/github-actions/workflows/main.yml b/extra/github-actions/workflows/main.yml
index 5dbff676142..4b2825ccb37 100644
--- a/extra/github-actions/workflows/main.yml
+++ b/extra/github-actions/workflows/main.yml
@@ -117,6 +117,7 @@ jobs:
         run: echo "branch=${GITHUB_REF#refs/heads/}" >> $GITHUB_OUTPUT
 
       - name: Build xmldoc
+        if: matrix.ocaml == '4.08.1'
         run: |
           set -ex
           make -s xmldoc