Commit Graph

465 Commits

Author SHA1 Message Date
f7a85e80a0 fix handling compressed expected files 2018-06-09 15:35:31 +02:00
d7c656217f fix mutiple metrics 2018-06-08 22:15:49 +02:00
32f0d1eb12 fix handle compressed out-files 2018-06-08 21:59:06 +02:00
1ea5e4ecbd handle multiple metrics for the same test 2018-06-08 15:00:40 +02:00
fe170e9a05 fix handling GitLab URLs 2018-06-06 14:18:27 +02:00
a9de751d87 showing submissions correctly in "branches" mode 2018-06-06 13:43:17 +02:00
115df0521d improve "branches" mode 2018-06-06 13:08:38 +02:00
92c0927dca fix update a submission when using git-annex 2018-06-06 12:58:50 +02:00
85c9ad6646 improve how-to for self-hosted instances and git-annex 2018-06-06 10:30:53 +02:00
28222d5a37 repo host can be set 2018-06-05 23:04:58 +02:00
1262cc7cb8 does not check for correctness of Git URLs
(URL copied&pasted from, for instance, GitLab does not have the protocol anyway.)
2018-06-05 22:39:02 +02:00
0b1263af27 fix pargins git-annex remote 2018-06-05 16:57:44 +02:00
35bb3c7af6 finished handling git-annex 2018-06-05 16:23:16 +02:00
e06f2120ea start using Runner monad 2018-06-05 09:36:48 +02:00
dcdf71b5e6 prepare Runner for better running stuff 2018-06-05 09:07:01 +02:00
edf0624b95 refactor running stuff 2018-06-05 08:22:51 +02:00
f1502c16e4 start handling git-annex remote 2018-06-05 07:46:42 +02:00
06970317a7 refactored cloning cntd. 2018-06-04 22:14:39 +02:00
ae389aa144 refactor cloning cntd. 2018-06-04 21:58:05 +02:00
61ca7e7839 refactor cloning git repos 2018-06-01 22:52:49 +02:00
4f20a5ee0c init admin, location 2018-06-01 16:30:35 +02:00
f771b04f69 towards docker container 2018-06-01 07:48:04 +02:00
0662522a44 update to Stack LTS 11.9 2018-05-20 16:58:48 +02:00
4e3fb94ce0 update for LTS 10.10 2018-05-19 08:05:24 +02:00
10838ae4d4 newer stack 2018-05-17 21:25:06 +02:00
d51959dfd8 fix how-to 2018-04-09 11:38:34 +02:00
a2d13c5b61 using Gonito.net in class 2018-04-07 18:51:58 +02:00
ff9f1380a3 clean up admin links 2018-04-07 14:15:47 +02:00
f263913c6b clean up starred 2018-01-25 16:43:50 +01:00
d38e14c07a API for returning scores 2018-01-25 16:34:05 +01:00
3a90144858 update for changes in GEval 2018-01-25 09:13:06 +01:00
c9d6ae70da more about gonito 2018-01-18 09:37:29 +01:00
828ae71006 starred challenges 2018-01-18 09:21:21 +01:00
ae2d28ceff clean up menu 2018-01-18 08:24:06 +01:00
ce9ef289f6 add background image 2018-01-18 08:21:06 +01:00
069e3cf5e1 fixes for the new geval 2018-01-17 22:07:54 +01:00
9f947e79f9 show extra points 2018-01-02 20:37:11 +01:00
ffd746d51a show message when extra points added 2018-01-02 19:36:41 +01:00
0243665bb0 organize score per course 2018-01-02 19:34:23 +01:00
f3b6f4b050 add extra points 2018-01-02 18:55:35 +01:00
6784d8cec5 take precision 2018-01-02 17:17:54 +01:00
14c5c59aaa a user can start working on a task in a different course 2017-12-12 09:39:02 +01:00
08b357fb64 filter achievements 2017-10-20 10:00:03 +02:00
6aba6be745 course can be given 2017-10-20 09:49:37 +02:00
c1f8e2d83e achievement can be edited now 2017-10-20 09:24:36 +02:00
39a4fd19f9 use newer geval with BLEU fixed 2017-10-05 07:00:05 +02:00
2699a23fbb fix how-to 2017-10-03 22:19:18 +02:00
ab76d28b43 filtre out closed courses in achievements 2017-10-03 22:16:00 +02:00
d4d4d4c5ad beautify achievement table 2017-10-03 07:46:27 +02:00
88d045b168 add new fields to course 2017-10-03 07:26:58 +02:00