|
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 |
|