diff --git a/.github/workflows/sourcegraph.yml b/.github/workflows/sourcegraph.yml deleted file mode 100644 index aa0d436d..00000000 --- a/.github/workflows/sourcegraph.yml +++ /dev/null @@ -1,47 +0,0 @@ -name: Sourcegraph -on: - push: - branches: ["main"] - tags: ["v*"] - pull_request: - branches: ["*"] - -jobs: - scip: - runs-on: ubuntu-latest - name: "Upload SCIP" - steps: - - uses: actions/checkout@v3 - with: - fetch-depth: 0 - - - uses: actions/setup-java@v3 - with: - distribution: "temurin" - java-version: 8 - cache: "sbt" - - - uses: sbt/setup-sbt@v1 - - - name: Publish CLI locally - run: sbt publishLocal dumpScipJavaVersion - - - name: Produce SCIP data of scip-java repository - run: sbt -Dscip-java-version=$(cat VERSION) sourcegraphCompile - - - name: Upload index.scip - uses: actions/upload-artifact@master - with: - path: target/sbt-sourcegraph/index.scip - name: index.scip - if-no-files-found: error - - - name: Install src - run: yarn global add @sourcegraph/src - - - name: Upload sourcegraph data - run: sbt -Dscip-java-version=$(cat VERSION) sourcegraphUpload - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - SRC_ENDPOINT: https://sourcegraph.com/ - SRC_ACCESS_TOKEN: ${{ secrets.SRC_ACCESS_TOKEN_DOTCOM }}