bump lean

Author: joneugster

.github/workflows/test.yml

@@ -15,7 +15,7 @@ defaults:
   run:
     shell: bash
 env:
-  NODE_VERSION: 24
+  NODE_VERSION: 26
 jobs:
   test:
     strategy:

client/package.json

@@ -1,5 +1,5 @@
 {
-  "name": "lean4game-client",
+  "name": "@lean4game/client",
   "type": "module",
   "private": true,
   "dependencies": {
@@ -23,7 +23,7 @@
     "jotai-effect": "^2.2.3",
     "jotai-location": "^0.6.2",
     "jotai-tanstack-query": "^0.11.0",
-    "lean4monaco": "^1.1.14",
+    "lean4monaco": "^1.1.16",
     "monaco-editor-wrapper": "^5.3.1",
     "react": "^18.2.0",
     "react-country-flag": "^3.1.0",

package-lock.json

@@ -48,5 +48,15 @@
   "dependencies": {
     "jotai-family": "^1.0.2",
     "tailwind-merge": "^3.6.0"
+  },
+  "allowScripts": {
+    "cypress@15.21.0": true,
+    "esbuild@0.28.2": true,
+    "@swc/core@1.15.18": true,
+    "@fortawesome/fontawesome-common-types@7.2.0": true,
+    "@fortawesome/fontawesome-common-types@6.5.1": true,
+    "@fortawesome/fontawesome-svg-core@7.2.0": true,
+    "@fortawesome/fontawesome-svg-core@6.5.1": true,
+    "fsevents@2.3.3": true
   }
 }

package.json

@@ -1,5 +1,5 @@
 {
-  "name": "lean4game-server",
+  "name": "@lean4game/server",
   "type": "module",
   "private": true,
   "dependencies": {

relay/package.json

@@ -5,21 +5,21 @@
    "type": "git",
    "subDir": null,
    "scope": "hhu-adam",
-   "rev": "1a99b00a940624c0a6c3009b756fb922acf0fe78",
+   "rev": "f788a30497e224651886a6800327c268df5d5e32",
    "name": "i18n",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.31.0",
+   "inputRev": "main",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/batteries",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "fa08db58b30eb033edcdab331bba000827f9f785",
+   "rev": "4488d40d070b9700d4d5a6aa342f0d40c31b2a2d",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
-   "inherited": true,
+   "inherited": false,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover/lean4-cli",
    "type": "git",

server/lake-manifest.json

@@ -3,8 +3,8 @@ open Lake DSL
 
 package GameServer
 
-require "leanprover-community" / batteries @ git "v4.31.0"
-require "hhu-adam" / i18n @ git "v4.31.0"
+require "leanprover-community" / batteries @ git "main"
+require "hhu-adam" / i18n @ git "main"
 
 -- dev dependency
 -- require "leanprover-community" / importGraph @ git "main"

server/lakefile.lean

@@ -1 +1 @@
-leanprover/lean4:v4.31.0
+leanprover/lean4:v4.33.1