add favicon

ASSERT-KTH · Sep 19, 2024 · 0b103b0 · 0b103b0
1 parent a34e0b6
commit 0b103b0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/webpage/public/favicon.ico b/webpage/public/favicon.ico
diff --git a/webpage/public/index.html b/webpage/public/index.html
@@ -2,7 +2,7 @@
 <html lang="en">
   <head>
     <meta charset="utf-8" />
-    <link rel="icon" href="%PUBLIC_URL%/favicon.ico" />
+    <link rel="icon" href="%PUBLIC_URL%/favicon.ico" type="image/x-icon">
     <meta name="viewport" content="width=device-width, initial-scale=1" />
     <meta name="theme-color" content="#000000" />
     <meta
@@ -25,7 +25,7 @@
       Learn how to configure a non-root public URL by running `npm run build`.
     -->
     <link href="https://fonts.googleapis.com/css2?family=Inter:wght@400;600;700&display=swap" rel="stylesheet">
-    <title>RepairBench: Live Leaderboard of Frontier LLMs for Program Repair</title>
+    <title>RepairBench</title>
   </head>
   <body>
     <noscript>You need to enable JavaScript to run this app.</noscript>