2016-01-10 20:32:11 +01:00
|
|
|
$maybe repoLink <- maybeRepoLink
|
|
|
|
|
<p> Repo: <tt><a href="#{repoLink}">#{repoUrl repo}</a></tt> Branch: <tt> #{repoBranch repo}</tt>
|
|
|
|
|
$nothing
|
|
|
|
|
<p> Repo: <tt>#{repoUrl repo}</tt> Branch: <tt> #{repoBranch repo}</tt>
|
2015-12-12 18:53:20 +01:00
|
|
|
|
|
|
|
|
<h2>Leaderboard
|
|
|
|
|
|
2016-02-16 21:26:57 +01:00
|
|
|
^{Table.buildBootstrap (leaderboardTable (challengeName challenge)) leaderboardWithRanksAndCurrentUser}
|
2016-02-15 22:11:46 +01:00
|
|
|
|
|
|
|
|
<div id="graph-container">
|
|
|
|
|
|
|
|
|
|
<script src="/static/js/sigma.min.js">
|
|
|
|
|
<script src="/static/js/sigma.parsers.json.min.js">
|
