From 50e7414f1207d55d49371902b2054c440aa6d1f1 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 26 Oct 2022 09:52:16 -0400
Subject: [PATCH] chore: try to fix github page

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

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index d6eedf80..ef3026e5 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -19,10 +19,10 @@ jobs:
       - run: sudo apt-get update && echo 1
         if: ${{ matrix.os == 'ubuntu-latest' }}
 
-      - name: Use OCaml ${{ matrix.ocaml-compiler }}
+      - name: Use OCaml
         uses: ocaml/setup-ocaml@v2
         with:
-          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+          ocaml-compiler: 4.13.x
           opam-depext-flags: --with-test
 
       - run: opam install . --with-doc --deps-only --with-test