chore(workspace): bootstrap platform, judge and frontend

backend/migrations/env.py

@@ -0,0 +1,52 @@
+import asyncio
+from logging.config import fileConfig
+
+from alembic import context
+from sqlalchemy import Connection
+
+from kf_oj.core.settings import Settings
+from kf_oj.infra.db.base import Base
+from kf_oj.infra.db.session import build_engine
+
+config = context.config
+if config.config_file_name is not None:
+    fileConfig(config.config_file_name)
+
+# Register each business module's ORM models here when its schema is implemented.
+target_metadata = Base.metadata
+
+
+def run_offline() -> None:
+    settings = Settings()
+    if settings.database_url is None:
+        raise ValueError("KF_OJ_DATABASE_URL is required for migrations")
+    context.configure(
+        url=settings.database_url.get_secret_value(),
+        target_metadata=target_metadata,
+        literal_binds=True,
+        dialect_opts={"paramstyle": "named"},
+        compare_type=True,
+    )
+    with context.begin_transaction():
+        context.run_migrations()
+
+
+def migrate(connection: Connection) -> None:
+    context.configure(connection=connection, target_metadata=target_metadata, compare_type=True)
+    with context.begin_transaction():
+        context.run_migrations()
+
+
+async def run_online() -> None:
+    engine = build_engine(Settings())
+    try:
+        async with engine.connect() as connection:
+            await connection.run_sync(migrate)
+    finally:
+        await engine.dispose()
+
+
+if context.is_offline_mode():
+    run_offline()
+else:
+    asyncio.run(run_online())