1
0
Fork 0
mirror of https://github.com/sourcegraph/jsonrpc2.git synced 2026-10-14 11:16:46 +02:00

Merge pull request #100 from sourcegraph/k/remove-broken-scip-upload

chore/ci: remove broken SCIP upload workflow
This commit is contained in:
Emi 2026-08-02 22:53:12 -07:00 • committed by GitHub
commit bacb7f31f4
Signed by: GitHub
GPG key ID: B5690EEEBB952194

View file

@ -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 }}