Deploy MkDocs site with GitHub Pages

Author: g4197

.github/workflows/ci.yml

@@ -2,7 +2,9 @@ name: CI
 
 on:
   push:
+    branches: [main]
   pull_request:
+    branches: [main]
 
 jobs:
   build-and-test:

.github/workflows/pages.yml

@@ -2,7 +2,7 @@ name: Deploy docs
 
 on:
   push:
-    branches: [dev-filter]
+    branches: [main]
   workflow_dispatch:
 
 permissions:
@@ -22,6 +22,7 @@ jobs:
       - uses: actions/setup-python@v5
         with:
           python-version: "3.12"
+      - uses: actions/configure-pages@v5
       - name: Install MkDocs Material
         run: pip install mkdocs-material
       - name: Build site

mkdocs.yml

@@ -1,5 +1,6 @@
 site_name: PipeANN
 site_description: Low-latency, billion-scale, updatable graph-based vector store on SSD
+site_url: https://thustorage.github.io/PipeANN/
 repo_url: https://github.com/thustorage/PipeANN
 repo_name: thustorage/PipeANN
 edit_uri: edit/main/docs/