From 583e2299b79dca6d405225ef4eefd37da0d33f75 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Wed, 27 Jul 2022 15:17:23 +0200
Subject: [PATCH] chore: fix CI on main

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index ba1ad2f..476b308 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -30,7 +30,7 @@ jobs:
           cd ../
           git clone https://github.com/hargonix/LeanInk
           cd LeanInk
-          git checkout doc-gen
+          git checkout doc-gen-json
           lake build
 
       - name: Checkout and compile mathlib4