chore/ci: remove broken SCIP upload workflow#100

keegancsmith wants to merge 1 commit into

mastersourcegraph/jsonrpc2:masterfrom

k/remove-broken-scip-uploadsourcegraph/jsonrpc2:k/remove-broken-scip-uploadCopy head branch name to clipboard