Add SCIP indexing CI workflow for Sourcegraph

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

.github/workflows/scip-index.yml

@@ -0,0 +1,52 @@
+name: SCIP Index
+
+on:
+  push:
+    branches: [main, master]
+  workflow_dispatch:
+
+jobs:
+  index:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Setup Java
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y openjdk-17-jdk
+          echo "JAVA_HOME=/usr/lib/jvm/java-17-openjdk-amd64" >> $GITHUB_ENV
+
+      - name: Install Clojure CLI
+        run: curl -fsSL https://download.clojure.org/install/linux-install-1.12.0.1501.sh | sudo bash
+
+      - name: Install clojure-lsp
+        run: |
+          mkdir -p /usr/local/bin
+          curl -fsSL https://github.com/clojure-lsp/clojure-lsp/releases/latest/download/clojure-lsp-native-static-linux-amd64.zip -o /tmp/clojure-lsp.zip
+          unzip -o /tmp/clojure-lsp.zip -d /usr/local/bin/
+          chmod +x /usr/local/bin/clojure-lsp
+
+      - name: Clone and build scip-clojure
+        run: |
+          git clone https://git.ajet.fyi/ajet/scip-clojure.git /tmp/scip-clojure
+          cd /tmp/scip-clojure
+          clojure -T:build compile-java
+
+      - name: Generate SCIP index
+        run: |
+          cd /tmp/scip-clojure
+          clojure -M:run -p $GITHUB_WORKSPACE -o $GITHUB_WORKSPACE/index.scip
+        env:
+          CLOJURE_LSP_PATH: /usr/local/bin/clojure-lsp
+
+      - name: Install Sourcegraph CLI
+        run: |
+          curl -fsSL https://sourcegraph.com/.api/src-cli/src_linux_amd64 -o /usr/local/bin/src
+          chmod +x /usr/local/bin/src
+
+      - name: Upload to Sourcegraph
+        run: src code-intel upload -file=index.scip
+        env:
+          SRC_ENDPOINT: ${{ secrets.SRC_ENDPOINT }}
+          SRC_ACCESS_TOKEN: ${{ secrets.SRC_ACCESS_TOKEN }}