Bump doc-gen4 and remove from CI

fpvandoorn · Jul 6, 2024 · 62a223f · 62a223f
1 parent 5f2ba40
commit 62a223f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -38,8 +38,8 @@ jobs:
       - name: Install elan
         run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none
 
-      - name: Update docgen4
-        run: ~/.elan/bin/lake -R -Kenv=dev update doc-gen4
+      # - name: Update docgen4
+      #   run: ~/.elan/bin/lake -R -Kenv=dev update doc-gen4
 
       - name: Get cache
         run: ~/.elan/bin/lake -Kenv=dev exe cache get || true

diff --git a/lake-manifest.json b/lake-manifest.json
@@ -76,7 +76,7 @@
   {"url": "https://github.com/fgdorais/lean4-unicode-basic",
    "type": "git",
    "subDir": null,
-   "rev": "87791b59c53be80a9a000eb2bcbf61f60a27b334",
+   "rev": "c74a052aebee847780e165611099854de050adf7",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,7 +85,7 @@
   {"url": "https://github.com/leanprover/doc-gen4",
    "type": "git",
    "subDir": null,
-   "rev": "1f51169609a3a7c448558c3d3eb353fb355c7025",
+   "rev": "b5197b656018a2d929e025f41aca5ba463557dd1",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",