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