From d61e16f7c7d7fc54f9c927cbcd18fc663253b91f Mon Sep 17 00:00:00 2001 From: Mohamed Ibrahim Date: Wed, 17 Jun 2026 21:35:18 +0100 Subject: [PATCH] =?UTF-8?q?ci:=20point=20the=20push=20gate=20at=20develop?= =?UTF-8?q?=20after=20the=20dev=20=E2=86=92=20develop=20rename?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The development trunk was renamed dev → develop (now the GitHub default branch). The earlier commit wired the build+test push trigger to a now-dead `dev` ref; correct it to `develop` so direct pushes to the trunk are gated. Pages deploy and the tag-driven publish stay on main. Co-Authored-By: Claude Opus 4.8 (1M context) --- .github/workflows/build.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index f5c9754..1cd7cf7 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,8 +1,8 @@ name: Build & Test # PR-time build/test gate (issue #22). Every pull request and every push to the -# dev integration trunk or main must build all KMP targets and run the JVM + iOS -# unit tests before it can merge. +# develop integration trunk or main must build all KMP targets and run the JVM + +# iOS unit tests before it can merge. # This complements the other workflows, which guard different things: # - api-check.yml -> public-API surface stability (apiCheck) # - publish.yml -> tag-triggered Maven Central release @@ -23,7 +23,7 @@ on: - "site/**" - ".github/workflows/pages.yml" push: - branches: [main, dev] + branches: [main, develop] paths-ignore: - "**.md" - "docs/**"