From 451c36ae9d37a5a73d2e9c3c2caa4a4b7a78d5ff Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Fri, 2 Dec 2022 11:21:46 +0100 Subject: [PATCH 1/2] Update specs2 Tested on JDK 17 --- community-build/community-projects/specs2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/community-build/community-projects/specs2 b/community-build/community-projects/specs2 index 2bfe446a4e91..789f23b75db1 160000 --- a/community-build/community-projects/specs2 +++ b/community-build/community-projects/specs2 @@ -1 +1 @@ -Subproject commit 2bfe446a4e9122b1122a7e13a3d100b3749b8630 +Subproject commit 789f23b75db1cf7961d04468b21a2cc0d7ba32d8 From 9942f4c6db4dcbfd9de8b6a73415ad2ecddee6df Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Fri, 25 Nov 2022 17:41:54 +0100 Subject: [PATCH 2/2] Add CI filter for individual community builds --- .github/workflows/ci.yaml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index d78148c8fb6f..abead4133b44 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -256,6 +256,7 @@ jobs: github.event_name == 'pull_request' && !contains(github.event.pull_request.body, '[skip ci]') && !contains(github.event.pull_request.body, '[skip community_build]') + && !contains(github.event.pull_request.body, '[skip community_build_a]') ) || ( github.event_name == 'workflow_dispatch' @@ -303,6 +304,7 @@ jobs: github.event_name == 'pull_request' && !contains(github.event.pull_request.body, '[skip ci]') && !contains(github.event.pull_request.body, '[skip community_build]') + && !contains(github.event.pull_request.body, '[skip community_build_b]') ) || ( github.event_name == 'workflow_dispatch' @@ -350,6 +352,7 @@ jobs: github.event_name == 'pull_request' && !contains(github.event.pull_request.body, '[skip ci]') && !contains(github.event.pull_request.body, '[skip community_build]') + && !contains(github.event.pull_request.body, '[skip community_build_c]') ) || ( github.event_name == 'workflow_dispatch'