update queue of pre-loaded games

2 years ago · a191c47b8e
parent 0e58e81875
commit a191c47b8e
1 changed files with 3 additions and 3 deletions
--- a/relay/index.mjs
+++ b/relay/index.mjs
@ -20,9 +20,9 @@ import { spawn } from 'child_process'
 */
 const queueLength = {
  "g/hhu-adam/robo": 2,
-  "g/hhu-adam/nng4": 5,
+  "g/leanprover-community/nng4": 5,
-  "g/djvelleman/stg4": 0,
+  "g/djvelleman/stg4": 2,
-  "g/trequetrum/lean4game-logic": 0,
+  "g/trequetrum/lean4game-logic": 2,
 }
 const __filename = url.fileURLToPath(import.meta.url);