2018-11-17 13:49:44 +01:00
|
|
|
<div class="media">
|
|
|
|
<div class="media-left">
|
|
|
|
<p class="media-object">
|
|
|
|
<span class="glyphicon glyphicon-asterisk" aria-hidden="hidden">
|
|
|
|
<div class="media-body">
|
|
|
|
<div class="media-heading">
|
|
|
|
<div .subm-commit>#{commitSha1AsText}
|
2018-11-12 14:12:51 +01:00
|
|
|
|
2018-11-17 13:49:44 +01:00
|
|
|
<div .subm-description>^{fragmentWithTags (submissionDescription $ fsiSubmission submission) (map fst $ fsiTags submission)}
|
|
|
|
<p> </p>
|
|
|
|
<dl class="dl-horizontal">
|
|
|
|
<dt>challenge
|
|
|
|
<dd><a href="@{ShowChallengeR $ challengeName $ fsiChallenge submission}">#{challengeTitle $ fsiChallenge submission}</a>
|
|
|
|
<dt>submitter
|
|
|
|
<dd>#{submitter}
|
|
|
|
<dt>submitted
|
|
|
|
<dd>#{stamp}
|
|
|
|
<dt>original repo
|
|
|
|
<dd><code>#{repoUrl $ fsiRepo submission}</code> / branch <code>#{repoBranch $ fsiRepo submission}</code>
|
|
|
|
$if submissionIsPublic $ fsiSubmission submission
|
|
|
|
<dt>publicly available at
|
|
|
|
<dd><code>#{publicSubmissionRepo}</code> / branch <code>#{publicSubmissionBranch}</code>
|
|
|
|
<dt>browsable at
|
|
|
|
<dd><a href="#{browsableUrl}">#{browsableUrl}</a>
|
|
|
|
<dt>clone by
|
|
|
|
<dd><code>git clone --single-branch #{publicSubmissionRepo} -b #{publicSubmissionBranch}</code>
|
|
|
|
$if not (null (fsiExternalLinks submission))
|
|
|
|
<dt>see also
|
|
|
|
<dd>
|
|
|
|
$forall (Entity _ externalLink) <- fsiExternalLinks submission
|
|
|
|
<a href="#{externalLinkUrl externalLink}">
|
|
|
|
#{fromMaybe (externalLinkUrl externalLink) (externalLinkTitle externalLink)}
|
|
|
|
<br>
|
|
|
|
^{resultTable (Entity (fsiSubmissionId submission) (fsiSubmission submission))}
|
|
|
|
|
|
|
|
$if not (null (fsiSuperSubmissions submission))
|
|
|
|
<h4>downstream submissions
|
|
|
|
$forall superSubmission <- (fsiSuperSubmissions submission)
|
|
|
|
^{queryResult superSubmission}
|