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