From c0f8e0842e491092dc9e3d0d17fc400f53baed41 Mon Sep 17 00:00:00 2001
From: maralorn <mail@maralorn.de>
Date: Mon, 12 Dec 2022 12:51:35 +0100
Subject: [PATCH] Fix checkmark symbol

---
 exe/Main.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/exe/Main.hs b/exe/Main.hs
index 52edccad..77457e31 100644
--- a/exe/Main.hs
+++ b/exe/Main.hs
@@ -161,7 +161,7 @@ branchHTML branch = repoLink ("tree/" <> branch) branch
 prHTML :: PRInfo -> App MessageText
 prHTML
   (PullRequest{pullRequestNumber, pullRequestTitle}, branches) = do
-    branch_info <- forM branches \(arrived, branch) -> (m (if arrived then "✔ " else "⏳") <>) <$> branchHTML branch
+    branch_info <- forM branches \(arrived, branch) -> (m (if arrived then "✅ " else "⏳") <>) <$> branchHTML branch
     link_ <-
       repoLink
         ("pull/" <> show pullRequestNumber)