Skip to content
Draft
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
58 changes: 29 additions & 29 deletions .github/workflows/sourcegraph.yml
Original file line number Diff line number Diff line change
@@ -1,31 +1,31 @@
# # Copied from scalameta/metals
# name: Sourcegraph
# on:
# push:
# branches:
# - main
# pull_request:
# Copied from scalameta/metals
name: Sourcegraph
on:
push:
branches:
- main
pull_request:

# concurrency:
# # Taken from gradle/gradle
# # On main, we don't want any jobs cancelled so the sha is used to name the group
# # On PR branches, we cancel the job if new commits are pushed
# group: ${{ (github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags') ) && format('sourcegraph-{0}', github.ref) || format('sourcegraph-pr-{0}', github.ref) }}
# cancel-in-progress: true
concurrency:
# Taken from gradle/gradle
# On main, we don't want any jobs cancelled so the sha is used to name the group
# On PR branches, we cancel the job if new commits are pushed
group: ${{ (github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags') ) && format('sourcegraph-{0}', github.ref) || format('sourcegraph-pr-{0}', github.ref) }}
cancel-in-progress: true

# jobs:
# lsif:
# runs-on: ubuntu-latest
# name: "Upload SCIP"
# steps:
# - uses: actions/checkout@v3
# - uses: coursier/setup-action@v1.2.0-M2
# - run: cs launch --contrib scip-java -- index
# - name: src lsif upload
# run: |
# mkdir -p bin
# curl -L https://sourcegraph.com/.api/src-cli/src_linux_amd64 -o bin/src
# chmod +x bin/src
# ./bin/src lsif upload -trace=3 -ignore-upload-failure -github-token $GITHUB_TOKEN
# env:
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
jobs:
lsif:
runs-on: ubuntu-latest
name: "Upload SCIP"
steps:
- uses: actions/checkout@v3
- uses: coursier/setup-action@v1.3.0
- run: cs launch --contrib scip-java -- index
- name: src scip upload
run: |
mkdir -p bin
curl -L https://sourcegraph.com/.api/src-cli/src_linux_amd64 -o bin/src
chmod +x bin/src
./bin/src code-intel upload -trace=3 -ignore-upload-failure -github-token $GITHUB_TOKEN
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}