Add link to logo

odow · odow · commit 9b08c35305af · 2022-05-06T17:21:13.000+12:00
diff --git a/docs/index.html b/docs/index.html
@@ -18,7 +18,7 @@
 <body>
     <div class="section no-pad-bot" id="index-banner">
         <div class="col s12 m12 l8 flow-text container">
-            <img width="300" src="assets/logo.svg">
+            <a href="https://jump.dev"><img width="300" src="assets/logo.svg"></a>
             <p class="small-text">
                 This page tracks peformance benchmarks of the
                 <a href="https://github.com/jump-dev">JuMP-dev</a> ecosystem.
