diff --git a/.github/workflows/sourcegraph.yml b/.github/workflows/sourcegraph.yml index e67159c4753..56af9bf41d1 100644 --- a/.github/workflows/sourcegraph.yml +++ b/.github/workflows/sourcegraph.yml @@ -18,7 +18,7 @@ jobs: name: "Upload SCIP" steps: - uses: actions/checkout@v4 - - uses: coursier/setup-action@v1.3.4 + - uses: coursier/setup-action@v1.3.5 - run: cs launch --contrib scip-java -- index - name: src scip upload run: |