From 9a77dad2fdab7012e34913cdd511ff119d452003 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 15 Sep 2025 10:23:19 -0400
Subject: [PATCH] chore: CI

---
 .github/workflows/gh-pages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 7ff8be9..ceaeeba 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -19,7 +19,7 @@ jobs:
           allow-prerelease-opam: true
           dune-cache: true
 
-      - run: opam pin odoc 2.2.2 -y -n
+      - run: opam pin odoc 3.1.0 -y -n
         # crash with 2.4, see https://github.com/ocaml/odoc/issues/1066
       - name: Deps
         run: opam install odig trace trace-tef trace-fuchsia ppx_trace