.github/workflows: Update sourcegraph index task.

elves · Aug 21, 2024 · cbe8f11 · cbe8f11
1 parent 36e5070
commit cbe8f11
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -159,15 +159,15 @@ jobs:
     - name: Check relative links
       run: make -C website check-rellinks
 
-  lsif:
-    name: Upload SourceGraph LSIF
+  sourcegraph_index:
+    name: Upload SourceGraph index
     if: github.repository == 'elves/elvish' && github.event_name == 'push'
     runs-on: ubuntu-latest
-    container: sourcegraph/lsif-go:latest
+    container: sourcegraph/scip-go:latest
     steps:
     - name: Checkout code
       uses: actions/checkout@v4
-    - name: Generate LSIF data
-      run: lsif-go
-    - name: Upload LSIF data
-      run: src lsif upload -github-token=${{ secrets.GITHUB_TOKEN }} -ignore-upload-failure
+    - name: Generate index
+      run: scip-go
+    - name: Upload index
+      run: src code-intel upload -github-token=${{ secrets.GITHUB_TOKEN }} -no-progress