Merge pull request #169 from CodeEditorLand/dependabot/npm_and_yarn/cloudflare/workers-types-4.20250712.0

chore(deps-dev): Bump @cloudflare/workers-types from 4.20250711.0 to 4.20250712.0

Author: github-actions[bot]

package.json

@@ -23,7 +23,7 @@
 	},
 	"dependencies": {},
 	"devDependencies": {
-		"@cloudflare/workers-types": "4.20250711.0",
+		"@cloudflare/workers-types": "4.20250712.0",
 		"@playform/build": "0.2.5"
 	},
 	"publishConfig": {