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