CI job polish (#1341)

Avoids issues where setup-java post-task cacheing will hang with "device or resource busy".
2026-03-23 09:31:06 +01:00 · 2025-12-03 15:11:33 -08:00
parent db6ff394d7
commit c5b98d6510
7 changed files with 90 additions and 168 deletions
--- a/.github/index.pkl
+++ b/.github/index.pkl
@@ -19,6 +19,11 @@ testReports {
  html {
    "**/build/reports/tests/**/*"
  }
+  excludeJobs {
+    "bench"
+    "deploy-release"
+    "github-release"
+  }
 }

 local baseGradleCheck: SimpleGradleJob = new {