From a2da08db91f5df4ae8f75dc68c7ea71c2c26b132 Mon Sep 17 00:00:00 2001 From: Benjamin Gilbert Date: Tue, 2 Apr 2024 21:19:27 +0900 Subject: [PATCH] workflows: stop including Git main of OpenSlide Java in PR CI Git main of OpenSlide Java no longer has a platform-specific shared library. Accordingly, it dropped the embed_jni_path build option, which we still need to use when building the latest release. Without platform-specific code, there won't be a need to ship future OpenSlide Java releases here. For now, continue shipping the latest release and retain the ability to override it, but stop overriding with Git main when testing PRs. For: https://github.com/openslide/openslide-bin/issues/239 Signed-off-by: Benjamin Gilbert --- .github/workflows/pr.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 9de5059..d869965 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -67,8 +67,6 @@ jobs: macos_enable: true openslide_repo: openslide/openslide openslide_ref: main - openslide_java_repo: openslide/openslide-java - openslide_java_ref: main openslide_bin_repo: ${{ github.repository }} openslide_bin_ref: ${{ github.ref }} suffix: ${{ needs.setup.outputs.suffix }}.git