From 5bef25207869a2dddecdfc9b6eaf07187432cbed Mon Sep 17 00:00:00 2001
From: Laurens Valk <laurens@pybricks.com>
Date: Fri, 29 May 2026 21:15:03 +0200
Subject: [PATCH] .github/workflows: Build on v4 tags.

---
 .github/workflows/publish-ide-docs.yml | 2 +-
 .github/workflows/publish-jedi.yml     | 2 +-
 .github/workflows/release.yml          | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/publish-ide-docs.yml b/.github/workflows/publish-ide-docs.yml
index b138411..ed0cefe 100644
--- a/.github/workflows/publish-ide-docs.yml
+++ b/.github/workflows/publish-ide-docs.yml
@@ -3,7 +3,7 @@ name: Release @pybricks/ide-docs
 on:
   push:
     tags:
-    - 'v3.*'
+    - 'v4.*'
 
 jobs:
   publish_ide_docs:
diff --git a/.github/workflows/publish-jedi.yml b/.github/workflows/publish-jedi.yml
index 60b6a1d..6d6222f 100644
--- a/.github/workflows/publish-jedi.yml
+++ b/.github/workflows/publish-jedi.yml
@@ -3,7 +3,7 @@ name: Release @pybricks/jedi
 on:
   push:
     tags:
-    - 'v3.*'
+    - 'v4.*'
 
 jobs:
   publish_jedi:
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 1b3bda6..47f4856 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -1,7 +1,7 @@
 on:
   push:
     tags:
-    - 'v3.*'
+    - 'v4.*'
 
 name: Create release on GitHub and PyPI