Commit Graph

510 Commits

Author SHA1 Message Date
cf860889d7 info on triggering 2017-09-28 16:51:10 +02:00
e32a9e3aa5 split triggering into local and remote 2017-09-28 16:11:22 +02:00
d79e03e956 change triggering 2017-09-28 15:12:14 +02:00
5cad8dcbfe fix howto 2017-09-28 14:17:43 +02:00
bed791a5c6 trigger evaluation remotely 2017-09-28 11:29:48 +02:00
029ff775a4 take description & tags from commit log message 2017-09-27 22:44:00 +02:00
ef00b8d9d1 tags can be added during submission 2017-09-27 19:38:42 +02:00
2949ce3a8a improve HowTo 2017-09-25 12:47:01 +02:00
5752bf9471 improve HowTo 2017-09-23 15:45:14 +02:00
7a9eb28b48 setting up an account more intuitive 2017-09-23 15:30:10 +02:00
e3a3f28da0 use tooltips instead of a list 2017-09-23 15:04:40 +02:00
8be73e73a1 trying to switch off autocomplete in account settings (not fully possible) 2017-09-23 14:51:15 +02:00
2729ccd68f use HTTPS for gitlist 2017-09-23 10:33:39 +02:00
20b305dd29 static content not requires authorization 2017-09-23 10:21:15 +02:00
de84c23900 improve readability of password reset messages 2017-09-23 08:45:04 +02:00
0a534c093d Merge branch 'master' of ssh://re-research.wmi.amu.edu.pl:1977/gonito 2017-09-22 14:52:11 +02:00
40cd97ee2b switch to Stack LTS 9.5, remove Fay 2017-09-22 14:23:03 +02:00
Filip Gralinski
fa939b92f7 update presentation 2017-05-31 23:19:12 +02:00
f858b7dfe7 update datech 2017-05-30 22:21:01 +02:00
Filip Gralinski
8f12613b54 update presentation 2017-05-30 14:20:22 +02:00
f4e1870011 fix challenge 2017-05-29 23:35:58 +02:00
0ed348fc4f update datech presentation 2017-05-29 23:24:12 +02:00
372d814983 tags can be accepted now 2017-05-28 10:06:50 +02:00
f8779ce044 show tag status 2017-05-27 22:31:53 +02:00
84862ac13d make tables dynamic 2017-05-27 21:30:33 +02:00
051ba92394 start DATeCH presentation 2017-05-27 08:59:10 +02:00
ea217896be score table usable now 2017-05-15 14:25:54 +02:00
b033d0c4b5 initial work on score 2017-05-15 13:55:56 +02:00
e2c5ae179c submissions can be sent to review now 2017-04-03 12:22:52 +02:00
d63223837e give up option for achievements 2017-04-03 11:27:08 +02:00
123cc2ba1a use newer geval 2017-04-03 11:09:12 +02:00
62ff67ea7d update geval 2017-03-26 22:05:55 +02:00
d322896ebe link for starting work 2017-03-18 21:33:41 +01:00
28c3b231e8 link challenges in achievements 2017-03-18 19:53:32 +01:00
8bda241416 show tags at achievements 2017-03-18 16:04:53 +01:00
25b1b2e801 show tags at leaderboard 2017-03-18 15:57:27 +01:00
4918015dbd fix typo in a class name 2017-03-18 15:16:01 +01:00
2661fda4f8 add checkbox for anonimity 2017-03-18 14:51:09 +01:00
63269ed852 fix padding 2017-03-18 12:44:02 +01:00
f258ba569d fix problem with the footer (remove duplicated Bootstrap css files) 2017-03-18 12:25:32 +01:00
ed0e956dbc show who's working 2017-03-13 12:00:38 +01:00
104500869e show max submitters 2017-03-13 11:26:39 +01:00
bce4d4768e add points to achievements 2017-02-26 22:01:27 +01:00
a8b8b1e5c8 achievements 2017-02-26 21:40:38 +01:00
e5e0617a8d make Git repo URL less misleading 2017-02-26 10:00:53 +01:00
9d56f91b00 fix setting your account without changing the password 2017-02-26 09:54:05 +01:00
3e3d94a589 labels visible 2017-02-25 22:53:17 +01:00
a72ec65b3a add icon for editing a submission 2017-02-25 21:01:19 +01:00
d52b149d04 edit submissions (with tags) 2017-02-25 19:13:55 +01:00
b7fc462c14 start work on editing submissions 2017-02-19 22:26:01 +01:00