diff --git a/dev-tools/.trigger b/dev-tools/.trigger
index 00750edc0..b8626c4cf 100644
--- a/dev-tools/.trigger
+++ b/dev-tools/.trigger
@@ -1 +1 @@
-3
+4