From 5dd68095edf2029c97bc2e7c9898d879de637abb Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 20 Sep 2024 09:28:52 -0400
Subject: [PATCH] CI

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

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 59a031bb..3cf63081 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -11,6 +11,9 @@ jobs:
     steps:
       - uses: actions/checkout@main
 
+      # needed for depext to work
+      - run: sudo apt-get update && sudo apt-get install mccs
+
       - uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: '5.1.x'