From 36bc52c9602f31ccdc3bae553727dfa41eb2b54f Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Mon, 22 Jan 2024 13:31:43 +0100
Subject: [PATCH] add logic game to landing page

---
 client/src/components/landing_page.tsx | 3 ++-
 relay/index.mjs                        | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/client/src/components/landing_page.tsx b/client/src/components/landing_page.tsx
index e2c870f..12dba1b 100644
--- a/client/src/components/landing_page.tsx
+++ b/client/src/components/landing_page.tsx
@@ -134,7 +134,8 @@ function LandingPage() {
     "leanprover-community/nng4",
     "hhu-adam/robo",
     "djvelleman/stg4",
-    "miguelmarco/STG4",
+    "miguelmarco/stg4",
+    "trequetrum/lean4game-logic",
   ]
   let allTiles = allGames.map((gameId) => (useGetGameInfoQuery({game: `g/${gameId}`}).data?.tile))
 
diff --git a/relay/index.mjs b/relay/index.mjs
index a0dd7ea..8d1e9cf 100644
--- a/relay/index.mjs
+++ b/relay/index.mjs
@@ -19,7 +19,8 @@ import { importTrigger, importStatus } from './import.mjs'
 const queueLength = {
   "g/hhu-adam/robo": 2,
   "g/hhu-adam/nng4": 5,
-  "g/djvelleman/stg4": 2,
+  "g/djvelleman/stg4": 0,
+  "g/trequetrum/lean4game-logic": 0,
 }
 
 const __filename = url.fileURLToPath(import.meta.url);