Migrate npm to pnpm (#33)

`pnpm` is now the recommended package manager.

TO enable this migration `docusaurus` also had to be updated to a common version across packages.

Author: camielvs

.github/workflows/deploy.yaml

@@ -23,11 +23,14 @@ jobs:
         uses: actions/setup-node@v6
         with:
           node-version: 24.x
-          cache: npm
+      - name: Install pnpm
+        uses: pnpm/action-setup@v4
+        with:
+          version: 10.28.0
       - name: Install dependencies
-        run: npm ci
+        run: pnpm install --frozen-lockfile
       - name: Build
-        run: npm run build
+        run: pnpm run build
       # 👆 Build steps
       - name: Setup Pages
         uses: actions/configure-pages@v3

docusaurus.config.ts

@@ -27,8 +27,7 @@ const config: Config = {
   organizationName: "TangleML", // Usually your GitHub org/user name.
   projectName: "tangle", // Usually your repo name.
 
-  onBrokenLinks: "throw",
-  onBrokenMarkdownLinks: "warn",
+  onBrokenLinks: "warn",
 
   // Even if you don't use internationalization, you can use this field to set
   // useful metadata like html lang. For example, if your site is Chinese, you
@@ -102,6 +101,9 @@ const config: Config = {
 
   markdown: {
     mermaid: true, // Enable Mermaid processing in Markdown
+    hooks: {
+      onBrokenMarkdownLinks: "warn",
+    },
   },
 
   themes: ['docusaurus-theme-openapi-docs', '@docusaurus/theme-mermaid'],
@@ -187,7 +189,7 @@ const config: Config = {
             },
             {
               label: "Trademarks",
-              to: "/img/trademarks.pdf",
+              href: "/img/trademarks.pdf",
             },
           ],
         },