filipg/gonito
1
0
Fork 1
Code Issues 1 Pull Requests Releases Wiki Activity

Use nice metric names when sending announcements

Browse Source
This commit is contained in:
Filip Gralinski 2021-08-31 21:25:19 +02:00
parent 76976795dc
commit e27de3d0c2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Handler/ShowChallenge.hs
View File

@ -969,7 +969,7 @@ doCreateSubmission' _ userId challengeId challengeSubmissionData chan = do
++ " challenge by " ++ " challenge by "
++ (fromMaybe "???" $ userName user) ++ (fromMaybe "???" $ userName user)
++ ", " ++ ", "
++ (T.pack $ show $ testMetric mainTest) ++ (T.pack $ evaluationSchemeName $ testMetric mainTest)
++ ": " ++ ": "
++ (T.pack $ formatTheResult formattingOpts (SimpleRun s)) ++ (T.pack $ formatTheResult formattingOpts (SimpleRun s))
++ " (" ++ " ("
@ -1091,6 +1091,7 @@ checkRepoAvailibility challengeId repoId chan = do
challengeSubmissionWidget :: (ToMarkup a1, ToWidget App a2) => a2 -> a1 -> Challenge -> WidgetFor App () challengeSubmissionWidget :: (ToMarkup a1, ToWidget App a2) => a2 -> a1 -> Challenge -> WidgetFor App ()
challengeSubmissionWidget formWidget formEnctype challenge = $(widgetFile "challenge-submission") challengeSubmissionWidget formWidget formEnctype challenge = $(widgetFile "challenge-submission")
externalRepoInfo :: AppSettings -> WidgetFor site ()
externalRepoInfo settings = $(widgetFile "external-repo") externalRepoInfo settings = $(widgetFile "external-repo")
data ChallengeSubmissionData = ChallengeSubmissionData { data ChallengeSubmissionData = ChallengeSubmissionData {