2019-11-30 08:36:21 +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">
|
2019-12-14 15:27:59 +01:00
|
|
|
^{submissionHeader fullSubmissionInfo (Just $ variantName variant)}
|
2019-11-30 11:04:52 +01:00
|
|
|
|
|
|
|
$case tableEntryParams entry
|
|
|
|
$of []
|
|
|
|
$of _
|
|
|
|
^{Table.buildBootstrap paramsTable (map entityVal $ tableEntryParams entry)}
|
|
|
|
|
2019-11-30 08:36:21 +01:00
|
|
|
$forall output <- outputs
|
2020-08-14 08:47:37 +02:00
|
|
|
^{viewOutputWithNonDefaultTestSelected entry tests testSelectedEnt output}
|