Merge origin@primary

Vighnesh-V · Vighnesh-V · commit 829f117bac1c · 2026-04-06T10:33:27.000-07:00
diff --git a/extern/luau.tune b/extern/luau.tune
@@ -1,5 +1,5 @@
 [dependency]
 name = "luau"
 remote = "https://github.com/luau-lang/luau.git"
-branch = "0.714"
-revision = "27718747a24448ea6418f424963c741f57263743"
+branch = "0.715"
+revision = "40d4815888f63362a6cb79b3e74c4aafa0b2cbf4"
