[TEMP] Check toolchains.xml generation

eclipse-pde · Sep 25, 2023 · 2857f87 · 2857f87
1 parent ac21601
commit 2857f87
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,5 +17,4 @@ jobs:
     if: github.event_name == 'pull_request'
     uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/checkMergeCommits.yml@master
   build:
-    uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/mavenBuild.yml@master
-
+    uses: HannesWell/eclipse.platform.releng.aggregator/.github/workflows/mavenBuild.yml@setJDKToolchainIDs