Revert manifest + update doc-gen

fpvandoorn · Jul 8, 2024 · c3cb053 · c3cb053
1 parent 289c227
commit c3cb053
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 36 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -2,7 +2,6 @@ on:
   push:
     branches:
       - master
-      - gh-actions
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:

diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "deb5bd446a108da8aa8c1a1b62dd50722b961b73",
+   "rev": "26b4e42e8e9c45c3ded44a4d161161bef430d446",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "68b518c9b352fbee16e6d632adcb7a6d0760e2b7",
+   "rev": "d366a602cc4a325a6f9db3a3991dfa6d6cf409c5",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -70,36 +70,6 @@
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
    "inherited": false,
-   "configFile": "lakefile.lean"},
-   {"url": "https://github.com/acmepjz/md4lean",
-    "type": "git",
-    "subDir": null,
-    "scope": "",
-    "rev": "9148a0a7506099963925cf239c491fcda5ed0044",
-    "name": "MD4Lean",
-    "manifestFile": "lake-manifest.json",
-    "inputRev": "main",
-    "inherited": true,
-    "configFile": "lakefile.lean"},
-   {"url": "https://github.com/fgdorais/lean4-unicode-basic",
-    "type": "git",
-    "subDir": null,
-    "scope": "",
-    "rev": "c74a052aebee847780e165611099854de050adf7",
-    "name": "UnicodeBasic",
-    "manifestFile": "lake-manifest.json",
-    "inputRev": "main",
-    "inherited": true,
-    "configFile": "lakefile.lean"},
-   {"url": "https://github.com/leanprover/doc-gen4",
-    "type": "git",
-    "subDir": null,
-    "scope": "",
-    "rev": "d1be57c7fbd80ac20584ed0a86a2165c62cd993b",
-    "name": "«doc-gen4»",
-    "manifestFile": "lake-manifest.json",
-    "inputRev": "main",
-    "inherited": false,
-    "configFile": "lakefile.lean"}],
-  "name": "bonnAnalysis",
-  "lakeDir": ".lake"}
+   "configFile": "lakefile.lean"}],
+ "name": "bonnAnalysis",
+ "lakeDir": ".lake"}