| .. |
|
AccountReset.hs
|
A team captain cain invite other members
|
2021-03-13 11:21:28 +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 |
|
Announcements.hs
|
Switch to more general announcements
|
2021-08-21 10:26:46 +02:00 |
|
Common.hs
|
Finish handling alternative repo schemes
|
2020-02-22 09:12:13 +01:00 |
|
CreateChallenge.hs
|
Challenge slug can start with a digit
|
2021-05-12 07:03:38 +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
|
Repo details are not shown by default
|
2021-08-21 16:54:54 +02:00 |
|
Evaluate.hs
|
Fix re-evaluation
|
2021-02-27 11:57:28 +01: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
|
Handle properly cases where there is no test
|
2021-07-29 17:36:18 +02:00 |
|
Home.hs
|
clean up starred
|
2018-01-25 16:43:50 +01:00 |
|
JWT.hs
|
Extract user's name from a JWT token
|
2021-06-28 18:38:15 +02:00 |
|
ListChallenges.hs
|
Add format-as-local-time end-point
|
2021-09-02 22:38:59 +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
|
Handle two modes for gold standard when showing line-by-line mode
|
2021-08-31 22:07:43 +02:00 |
|
Runner.hs
|
Extra logging
|
2021-03-01 08:07:06 +01:00 |
|
Score.hs
|
Add course summaries
|
2019-06-15 12:21:41 +02:00 |
|
Shared.hs
|
Introduce NoInternalGitServer scheme
|
2021-08-21 15:02:08 +02:00 |
|
ShowChallenge.hs
|
Add isOwner field to the leaderboard end-point
|
2021-09-15 12:55:16 +02:00 |
|
SubmissionView.hs
|
Add endpoint for querying by hash
|
2021-02-15 12:51:24 +01:00 |
|
Swagger.hs
|
Bump up version number
|
2021-09-02 22:43:51 +02:00 |
|
Tables.hs
|
Add isOwner field to the leaderboard end-point
|
2021-09-15 12:55:16 +02:00 |
|
Tags.hs
|
End-point for listing tags
|
2021-03-11 22:53:05 +01:00 |
|
TagUtils.hs
|
Optimizing DB querying when a leaderboard is created
|
2020-01-04 09:30:56 +01:00 |
|
Team.hs
|
A team captain cain invite other members
|
2021-03-13 11:21:28 +01:00 |
|
YourAccount.hs
|
Be possible to set alternative repo scheme
|
2020-02-21 23:16:06 +01:00 |
