Improve sources and runs history tables

repub/web.py

@@ -13,11 +13,20 @@ from datastar_py.quart import DatastarResponse, read_signals
 from datastar_py.sse import DatastarEvent
 from htpy import Renderable
 from peewee import IntegrityError
-from quart import Quart, Response, request, send_from_directory, url_for
+from quart import (
+    Quart,
+    Response,
+    has_request_context,
+    request,
+    send_from_directory,
+    url_for,
+)
 
 from repub.datastar import RefreshBroker, render_stream
 from repub.jobs import (
+    COMPLETED_EXECUTION_PAGE_SIZE,
     JobRuntime,
+    clear_completed_executions,
     load_dashboard_view,
     load_execution_log_view,
     load_runs_view,
@@ -329,6 +338,12 @@ def create_app(*, dev_mode: bool = False) -> Quart:
         get_job_runtime(app).move_queued_execution(execution_id, direction="down")
         return Response(status=204)
 
+    @app.post("/actions/completed-executions/clear")
+    async def clear_completed_executions_action() -> Response:
+        clear_completed_executions(log_dir=app.config["REPUB_LOG_DIR"])
+        trigger_refresh(app)
+        return Response(status=204)
+
     @app.post("/job/<int:job_id>/execution/<int:execution_id>/logs")
     async def logs_patch(job_id: int, execution_id: int) -> DatastarResponse:
         async def render() -> Renderable:
@@ -420,12 +435,25 @@ async def render_runs(app: Quart | None = None) -> Renderable:
     if app is None:
         return runs_page()
 
-    view = load_runs_view(log_dir=app.config["REPUB_LOG_DIR"])
+    completed_page = (
+        max(1, request.args.get("completed_page", 1, type=int) or 1)
+        if has_request_context()
+        else 1
+    )
+    view = load_runs_view(
+        log_dir=app.config["REPUB_LOG_DIR"],
+        completed_page=completed_page,
+        completed_page_size=COMPLETED_EXECUTION_PAGE_SIZE,
+    )
     return runs_page(
         running_executions=cast(tuple[dict[str, object], ...], view["running"]),
         queued_executions=cast(tuple[dict[str, object], ...], view["queued"]),
         upcoming_jobs=cast(tuple[dict[str, object], ...], view["upcoming"]),
         completed_executions=cast(tuple[dict[str, object], ...], view["completed"]),
+        completed_page=cast(int, view["completed_page"]),
+        completed_page_size=cast(int, view["completed_page_size"]),
+        completed_total_count=cast(int, view["completed_total_count"]),
+        completed_total_pages=cast(int, view["completed_total_pages"]),
         source_count=len(load_sources()),
     )