2017-02-26 10:00:53 +01:00
|
|
|
<p> Git repo URL: <tt>#{repoUrl repo}</tt> / Branch: <tt> #{repoBranch repo}</tt>
|
2016-01-10 20:32:11 +01:00
|
|
|
$maybe repoLink <- maybeRepoLink
|
2017-02-26 10:00:53 +01:00
|
|
|
(Browse at <tt><a href="#{repoLink}">#{repoLink}</a></tt>)
|
2016-01-10 20:32:11 +01:00
|
|
|
$nothing
|
2015-12-12 18:53:20 +01:00
|
|
|
|
2019-03-20 16:31:08 +01:00
|
|
|
$if (challengeArchived challenge == Just True)
|
2021-02-17 09:31:23 +01:00
|
|
|
<p><b>_{MsgChallengeIsArchived}
|
2019-03-20 16:31:08 +01:00
|
|
|
|
|
|
|
$if (checkIfAdmin mUserEnt)
|
|
|
|
$if (challengeArchived challenge /= Just True)
|
|
|
|
<form method=post action=@{ArchiveR challengeId}#form enctype="text/plain">
|
2021-02-17 09:31:23 +01:00
|
|
|
<button>_{MsgArchive}
|
2019-08-29 08:56:22 +02:00
|
|
|
<form method=get action=@{ChallengeUpdateR challengeId}#form enctype="text/plain">
|
2021-02-17 09:31:23 +01:00
|
|
|
<button>_{MsgUpdate}
|
2019-08-28 08:49:43 +02:00
|
|
|
|
|
|
|
$if (challengeArchived challenge == Just True)
|
2019-03-20 16:31:08 +01:00
|
|
|
<form method=post action=@{UnarchiveR challengeId}#form enctype="text/plain">
|
2021-02-17 09:31:23 +01:00
|
|
|
<button>_{MsgUnarchive}
|
|
|
|
|
|
|
|
$if not isHealthy
|
|
|
|
_{MsgChallengeNotHealthy} <form method=post action=@{HealR challengeId}#form enctype="text/plain">
|
|
|
|
<button>_{MsgHeal}
|
|
|
|
|
2019-03-20 16:31:08 +01:00
|
|
|
|
2015-12-12 18:53:20 +01:00
|
|
|
<h2>Leaderboard
|
|
|
|
|
2019-03-20 16:31:08 +01:00
|
|
|
^{Table.buildBootstrap (leaderboardTable mUserId (challengeName challenge) scheme challengeRepo tests) leaderboardWithRanks}
|
2016-02-15 22:11:46 +01:00
|
|
|
|
2019-12-16 16:39:20 +01:00
|
|
|
$maybe altLeaderboardWithRanks <- mAltLeaderboardWithRanks
|
|
|
|
$maybe altTests <- mAltTests
|
|
|
|
^{Table.buildBootstrap (altLeaderboardTable mUserId (challengeName challenge) scheme challengeRepo altTests) altLeaderboardWithRanks}
|
|
|
|
$nothing
|
|
|
|
$nothing
|
|
|
|
|
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">
|
2018-07-28 22:10:55 +02:00
|
|
|
|
|
|
|
^{paramGraphsWidget challenge tests params}
|