.. |
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 |
JWT.hs
|
Add extra fields to leaderboard entries
|
2021-02-22 12:44:33 +01:00 |
ListChallenges.hs
|
Add end-point for challenge versions
|
2021-02-24 14:11:30 +01: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
|
Add rank for variants
|
2021-02-15 21:39:06 +01: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
|
Add challenge healing
|
2021-02-17 09:31:23 +01:00 |
ShowChallenge.hs
|
Submitting a solution does not require CSRF token
|
2021-02-24 07:03:36 +01:00 |
SubmissionView.hs
|
Add endpoint for querying by hash
|
2021-02-15 12:51:24 +01:00 |
Swagger.hs
|
Bump up version
|
2021-02-24 21:42:01 +01:00 |
Tables.hs
|
Add extra fields to leaderboard entries
|
2021-02-22 12:44:33 +01: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 |