From 1f170d3fe01d269f04a9e342b4acd8de6187ced6 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <viz@meta.com>
Date: Sun, 9 Jun 2024 16:54:53 -0700
Subject: [PATCH] Install mike

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

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index 5be9190b..43eb5a9d 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -25,7 +25,7 @@ jobs:
       run: |
         sudo apt update
         sudo apt install doxygen
-        pip install mkdocs mkdocs-material mkdocstrings pymdown-extensions
+        pip install mkdocs mkdocs-material mkdocstrings pymdown-extensions mike
         cmake -E make_directory ${{runner.workspace}}/build
 
     - name: Build