Merge pull request #2881 from online-go/filtered-bots

Filtered bots
online-go · Dec 10, 2024 · db7b8de · db7b8de
2 parents 7d07061 + c2fd9fd
commit db7b8de
Show file tree

Hide file tree

Showing 13 changed files with 914 additions and 172 deletions.
diff --git a/package.json b/package.json
@@ -61,7 +61,7 @@
         "express-http-proxy": "^2.0.0",
         "fork-ts-checker-webpack-plugin": "^9.0.0",
         "globals": "^15.8.0",
-        "goban": "=8.3.68",
+        "goban": "=8.3.72",
         "gulp": "^5.0.0",
         "gulp-clean-css": "^4.3.0",
         "gulp-eslint-new": "^2.2.0",

diff --git a/src/lib/automatch_manager.tsx b/src/lib/automatch_manager.tsx
@@ -31,7 +31,11 @@ interface Events {
 
 export type AutomatchPreferences = AutomatchPreferencesBase & {
     uuid: string;
-    size_speed_options: Array<{ size: Size; speed: Speed }>;
+    size_speed_options: Array<{
+        size: Size;
+        speed: Speed;
+        system: "byoyomi" | "fischer";
+    }>;
 };
 
 class AutomatchToast extends React.PureComponent<{}, any> {