Commit Graph

180 Commits

Author SHA1 Message Date
b6aad03933 add sharing icon 2016-02-16 21:33:40 +01:00
961b767b74 add "folder" icon 2016-02-16 21:26:57 +01:00
8fc0b659c9 show public repo only for public submissions 2016-02-16 21:13:23 +01:00
a08e61fcd2 add "i" icon for submissions 2016-02-16 21:10:10 +01:00
f83cbb7fb4 draw the graph also with the leaderboard 2016-02-15 22:11:46 +01:00
f3af213a65 bring back the graph 2016-02-15 21:59:24 +01:00
a8696057f6 use Yesod forms 2016-02-15 21:52:22 +01:00
veal
7cc140c82c Some minor changes in the template... 2016-02-15 15:39:25 +01:00
veal
e9c7be5ed3 Merge branch 'master' of ssh://gonito.net/gonito 2016-02-15 14:54:15 +01:00
veal
213d741a96 My changes. 2016-02-15 14:52:14 +01:00
4e3523e3db only public submissions are listed when queried 2016-02-15 12:42:05 +01:00
veal
4fc11a9640 Changes in templates made by student. 2016-02-15 10:02:05 +01:00
Filip Gralinski
8d3f6a01bb add querying for commits 2016-02-12 13:00:33 +01:00
Filip Gralinski
b089a10a6a minor changes on the main page 2016-02-12 12:59:59 +01:00
f06e104f3d start showing graphs (no edges yet) 2016-02-11 21:54:22 +01:00
bdbc55f450 linkify git URLs, minor fixes on the main page 2016-01-10 20:32:11 +01:00
c6a6ee45f4 metric is now obligatory for test in the DB 2015-12-20 21:00:00 +01:00
88b5d80953 add leaderboard 2015-12-12 18:53:20 +01:00
d69e953c35 add how-to 2015-11-11 22:10:41 +01:00
f57d80637b only admins can see "add challenge" 2015-11-11 13:28:34 +01:00
1846e10016 make it more user-friendly 2015-11-11 13:25:09 +01:00
652e82fa62 add "your account" option 2015-09-30 20:15:33 +02:00
3722329152 list all submissions 2015-09-29 22:31:56 +02:00
f6dce92d8d show repo URL/branch 2015-09-28 17:45:10 +02:00
2b13573881 submission form 2015-09-06 15:33:37 +02:00
d88e20d7ed show Readme 2015-09-06 14:24:49 +02:00
8b885c0dca list and show challenges 2015-09-04 23:23:32 +02:00
f00df0797f add create-challenge form 2015-08-29 14:58:47 +02:00
f63b296e11 add login/out 2015-08-29 07:23:34 +02:00
711e8117cb init 2015-08-20 22:33:38 +02:00