From f0eebfe60c61b9e1c5c9e15a0b5b97a4353c0575 Mon Sep 17 00:00:00 2001 From: Keegan Carruthers-Smith Date: Fri, 31 Jul 2026 11:30:02 +0200 Subject: [PATCH] chore/ci: stop requiring unauthenticated SCIP uploads Sourcegraph no longer accepts the workflow's GitHub token as upload authentication, so every push reports a failure after indexing succeeds. Keeping this upload would require a separately managed Sourcegraph access token; this repository does not otherwise need that credential, and comparable OSS repositories such as zoekt do not publish SCIP indexes from CI. Remove the obsolete workflow rather than leaving a permanently failing check or masking upload errors. Co-authored-by: Amp Amp-Thread-ID: https://ampcode.com/threads/T-019fb780-ec22-75e7-91a7-34c027582456 --- .github/workflows/scip.yml | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 .github/workflows/scip.yml diff --git a/.github/workflows/scip.yml b/.github/workflows/scip.yml deleted file mode 100644 index 78d5d1b..0000000 --- a/.github/workflows/scip.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: SCIP -'on': - - push -permissions: - contents: read -jobs: - scip-go: - runs-on: ubuntu-latest - container: sourcegraph/scip-go - steps: - - uses: actions/checkout@v7 - - name: Get src-cli - run: curl -L https://sourcegraph.com/.api/src-cli/src_linux_amd64 -o /usr/local/bin/src; - chmod +x /usr/local/bin/src - - name: Set directory to safe for git - run: git config --global --add safe.directory $GITHUB_WORKSPACE - - name: Generate SCIP data - run: scip-go - - name: Upload SCIP data - run: src code-intel upload -github-token=${{ secrets.GITHUB_TOKEN }}