WIP

sourcegraph · Nov 11, 2024 · b9d32d7 · b9d32d7
1 parent 2b7a772
commit b9d32d7
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/community-build.yml b/.github/workflows/community-build.yml
@@ -61,13 +61,24 @@ jobs:
       - name: List downloaded binaries
         run: ls -R binaries
 
+      - name: Unpack scip-java build
+        run: |
+          unzip binaries/scip-java-binary/scip-java.zip
+          ls -R scip-java
+
       - uses: actions/checkout@v3
         with:
           repository: ${{ matrix.repo }}
+          path: sources
 
       - uses: actions/setup-java@v3
         with:
           distribution: 'temurin'
           java-version: ${{ matrix.jdk }}
           cache: ${{ matrix.cache }}
 
+      - run: ../scip-java/bin/scip-java index
+        working-directory: sources
+
+
+