From 7ef4033d87ebb5c7594362a216c6463312c664b3 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Wed, 26 Nov 2025 06:00:25 -0500 Subject: Clean commit message subject for gitlint compliance - Remove trailing punctuation from subject line - Truncate to 72 chars max - Capitalize first letter Task-Id: t-1o2g8gugkr1 --- Omni/Jr/Web.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Omni') diff --git a/Omni/Jr/Web.hs b/Omni/Jr/Web.hs index d078a9e..bfdf68d 100644 --- a/Omni/Jr/Web.hs +++ b/Omni/Jr/Web.hs @@ -136,6 +136,8 @@ renderTaskCard t = Lucid.span_ [Lucid.class_ "priority"] (Lucid.toHtml (tshow (TaskCore.taskPriority t))) Lucid.p_ [Lucid.class_ "task-title"] (Lucid.toHtml (TaskCore.taskTitle t)) +newtype TaskListPage = TaskListPage [TaskCore.Task] + instance Lucid.ToHtml HomePage where toHtmlRaw = Lucid.toHtml toHtml (HomePage stats readyTasks recentTasks) = -- cgit v1.2.3