Skip to content

chore/ci: remove broken SCIP upload workflow - #100

Open
keegancsmith wants to merge 1 commit into
masterfrom
k/remove-broken-scip-upload
Open

chore/ci: remove broken SCIP upload workflow#100
keegancsmith wants to merge 1 commit into
masterfrom
k/remove-broken-scip-upload

Conversation

@keegancsmith

@keegancsmith keegancsmith commented Jul 31, 2026

Copy link
Copy Markdown
Member

The SCIP workflow currently generates its index successfully but every upload fails with no current user. The built-in GitHub token is still being passed, but Sourcegraph now requires a Sourcegraph access token for this upload path. This leaves unrelated changes, including #99, with a failing check on every push.

Repositories that still publish SCIP data, such as sourcegraph/log, use an organization-managed Sourcegraph token and target the internal Sourcegraph instance. This repository has no such repository secret, while the comparable OSS Go repository sourcegraph/zoekt has no SCIP upload workflow at all. Remove the workflow rather than adding credential ownership and rotation for this small library or hiding failures with ignore-upload-failure.

This does not affect the Go test workflow; it only stops the unauthenticated external index upload.

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@ampcode.com>
Amp-Thread-ID: https://ampcode.com/threads/T-019fb780-ec22-75e7-91a7-34c027582456
@keegancsmith
keegancsmith marked this pull request as ready for review July 31, 2026 09:34
@keegancsmith

Copy link
Copy Markdown
Member Author

@emidoots @chrapkowski-sg not sure if we should remove or fix? If fix, we should make it work for zoekt as well

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant