Commit Graph

90 Commits

Author SHA1 Message Date
252da6316a fix problem with git-annex remote when updating a repo, get rid of some warnings 2018-06-14 20:35:48 +02:00
f7a85e80a0 fix handling compressed expected files 2018-06-09 15:35:31 +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
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
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
0662522a44 update to Stack LTS 11.9 2018-05-20 16:58:48 +02:00
d38e14c07a API for returning scores 2018-01-25 16:34:05 +01:00
cf860889d7 info on triggering 2017-09-28 16:51:10 +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
2729ccd68f use HTTPS for gitlist 2017-09-23 10:33:39 +02:00
30b7db5714 add timeline (discussion/comments) 2016-05-03 08:46:10 +02:00
4e3523e3db only public submissions are listed when queried 2016-02-15 12:42:05 +01:00
923b1fe8f0 add "make it public" feature 2016-02-15 11:43:47 +01:00
c09aacddfd fix updating non-master branches 2016-02-11 22:25:07 +01:00
bdbc55f450 linkify git URLs, minor fixes on the main page 2016-01-10 20:32:11 +01:00
0230b29db1 add handling VAR_DIR env variable 2016-01-08 21:57:29 +01:00
bd8fc83c05 fix updating repos, evaluation non-default test sets 2015-11-11 10:24:03 +01:00
17d32aa8e7 faster cloning 2015-11-11 09:50:32 +01:00
Filip Gralinski
4b138e3e36 add "out" records 2015-09-29 14:15:49 +02:00
24ac68937c getting submission repo 2015-09-28 23:43:55 +02:00
Filip Gralinski
b148cc37fc fixed directory names 2015-09-04 10:53:23 +02:00
Filip Gralinski
3dfec2d6f4 rename dir to final dir 2015-09-04 10:51:53 +02:00
Filip Gralinski
62bd9a514f commits are correctly reflected in DB 2015-09-04 10:02:33 +02:00
d8a775a9ee add challenge 2015-09-04 06:47:49 +02:00
f68371e7e8 gathering output fully working 2015-08-30 13:11:34 +02:00
cdc7e0c3d2 running git 2015-08-30 12:33:47 +02:00
3ee7a80c6f cntd. 2015-08-29 22:19:44 +02:00
d1b56dba55 pub/sub implemented 2015-08-29 18:24:01 +02:00