Fix oranda

.github/workflows/web.yml

@@ -67,19 +67,9 @@ jobs:
       # This will write all output to ./public/ (including copying mdbook's output to there).
       - name: Install and run oranda
         run: |
-          curl --proto '=https' --tlsv1.2 -LsSf https://github.com/axodotdev/oranda/releases/latest/download/oranda-installer.sh | sh
+          curl --proto '=https' --tlsv1.2 -LsSf https://github.com/axodotdev/oranda/releases/download/v0.6.1/oranda-installer.sh | sh
           oranda build
       
-      - name: Prepare HTML for link checking
-        # untitaker/hyperlink supports no site prefixes, move entire site into
-        # a subfolder
-        run: mkdir /tmp/public/ && cp -R public /tmp/public/oranda
-
-      - name: Check HTML for broken internal links
-        uses: untitaker/[email protected]
-        with:
-          args: /tmp/public/
-
       # Deploy to our gh-pages branch (creating it if it doesn't exist).
       # The "public" dir that oranda made above will become the root dir
       # of this branch.

.gitignore

@@ -3,5 +3,7 @@
 /tmp
 /test_home
 
+# Generated by `oranda generate ci`
+public/
 # Generated by `oranda generate ci`
 public/