Address PR feedback & fix CI

2026-09-01 18:47:14 +02:00 · 2024-10-24 00:04:29 -07:00
parent d340ff916e
commit 60b451c3d1
2 changed files with 2 additions and 1 deletions
@@ -83,6 +83,7 @@ jobs:
        ref: 1.10.x
        path: zinc
    - uses: graalvm/setup-graalvm@v1
+      if: ${{ matrix.jobtype >= 7 && matrix.jobtype <= 9 }}
      with:
        java-version: '23'
        native-image-musl: 'true'