generate index too

.github/workflows/build.yml

@@ -31,6 +31,25 @@ jobs:
         with:
           tool: [email protected]
 
+      - uses: actions/setup-python@v5
+        with:
+          python-version: "3.10"
+
+      - name: Generate Index Configuration
+        run: |
+          python -m pip install toml
+          python tools/generate_index.py
+
+      - name: Install Stork
+        uses: baptiste0928/[email protected]
+        with:
+          crate: stork
+          version: "1.6.0"
+
+      - name: Generate Index
+        run: |
+          stork build --input tools/stork_input.toml --output static/search.st
+
       - name: Build project
         run: npm run build