gonito/Handler
2020-10-15 22:27:16 +02:00
..
AccountReset.hs Be possible to set alternative repo scheme 2020-02-21 23:16:06 +01:00
Achievements.hs Handle tags and description from gonito.yaml 2018-10-15 21:15:03 +02:00
AchievementUtils.hs show course in Achievements 2017-10-03 07:23:52 +02:00
Annotations.hs Add user id in dumped data 2020-07-12 17:20:46 +02:00
Common.hs Finish handling alternative repo schemes 2020-02-22 09:12:13 +01:00
CreateChallenge.hs Handle showing as percentage 2020-09-05 16:45:09 +02:00
Dashboard.hs Preselect items for faster generation of leaderboards 2020-01-04 10:32:52 +01:00
Discussion.hs add RSS for a challenge timeline 2016-05-03 22:14:55 +02:00
EditSubmission.hs Convert a boolean value to a non-maybe 2018-11-17 09:49:25 +01:00
Evaluate.hs Fix bug with the button for re-evalation 2020-09-05 15:18:29 +02:00
Extract.hs update for LTS 10.10 2018-05-19 08:05:24 +02:00
ExtraPoints.hs show message when extra points added 2018-01-02 19:36:41 +01:00
Graph.hs Preselect items for faster generation of leaderboards 2020-01-04 10:32:52 +01:00
Home.hs clean up starred 2018-01-25 16:43:50 +01:00
ListChallenges.hs Add leaderboard JSON 2020-10-15 22:27:16 +02:00
MakePublic.hs Repository is cloned if not found on a local disk 2020-09-05 14:22:12 +02:00
Presentation.hs Preselect items for faster generation of leaderboards 2020-01-04 10:32:52 +01:00
Query.hs Fix broken view-variant when headers are set 2020-09-28 21:38:19 +02:00
Runner.hs Block terminal 2018-11-17 10:07:59 +01:00
Score.hs Add course summaries 2019-06-15 12:21:41 +02:00
Shared.hs Handle showing as percentage 2020-09-05 16:45:09 +02:00
ShowChallenge.hs Add leaderboard JSON 2020-10-15 22:27:16 +02:00
SubmissionView.hs Show downstream submissions 2018-11-17 13:49:44 +01:00
Tables.hs WIP 2020-09-12 11:05:18 +02:00
Tags.hs introducint 2 modes for tags 2018-06-27 13:32:45 +02:00
TagUtils.hs Optimizing DB querying when a leaderboard is created 2020-01-04 09:30:56 +01:00
YourAccount.hs Be possible to set alternative repo scheme 2020-02-21 23:16:06 +01:00