Merge pull request #3 from utensil/master

Accelerate doc build and free disk space

.github/workflows/push.yml

@@ -18,6 +18,22 @@ jobs:
       group: ${{ github.workflow }}-${{ github.ref }}
       cancel-in-progress: true
     steps:
+      - name: Free Disk Space (Ubuntu)
+        uses: jlumbroso/free-disk-space@main
+        with:
+          # this might remove tools that are actually needed,
+          # if set to "true" but frees about 6 GB
+          tool-cache: false
+
+          # all of these default to true, but feel free to set to
+          # "false" if necessary for your workflow
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: true
+          docker-images: true
+          swap-storage: true
+
       - name: Checkout project
         uses: actions/checkout@v2
         with:

lake-manifest.json

@@ -12,7 +12,7 @@
   {"git":
    {"url": "https://github.com/leanprover/doc-gen4",
     "subDir?": null,
-    "rev": "402cfda104da78727a4ead99992abe638b8c14ef",
+    "rev": "f9d987567129f422ebd8cfac6a1e6233a06c720b",
     "opts": {},
     "name": "«doc-gen4»",
     "inputRev?": "main",