|
|
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 |
|
|
|
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 |
|
|
|
a2d13c5b61
|
using Gonito.net in class
|
2018-04-07 18:51:58 +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 |
|
|
|
828ae71006
|
starred challenges
|
2018-01-18 09:21:21 +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 |
|
|
|
ab76d28b43
|
filtre out closed courses in achievements
|
2017-10-03 22:16:00 +02:00 |
|
|
|
c8500ea128
|
show course in Achievements
|
2017-10-03 07:23:52 +02:00 |
|
|
|
f54dd4ec8f
|
achievement can be linked to a course now
|
2017-09-29 15:53:20 +02:00 |
|
|
|
0a745175aa
|
add table for courses, challenge could be selected for an achievement
|
2017-09-29 14:50:09 +02:00 |
|
|
|
cf860889d7
|
info on triggering
|
2017-09-28 16:51:10 +02:00 |
|
|
|
e32a9e3aa5
|
split triggering into local and remote
|
2017-09-28 16:11:22 +02:00 |
|
|
|
d79e03e956
|
change triggering
|
2017-09-28 15:12:14 +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 |
|
|
|
ef00b8d9d1
|
tags can be added during submission
|
2017-09-27 19:38:42 +02:00 |
|
|
|
2949ce3a8a
|
improve HowTo
|
2017-09-25 12:47:01 +02:00 |
|
|
|
7a9eb28b48
|
setting up an account more intuitive
|
2017-09-23 15:30:10 +02:00 |
|
|
|
e3a3f28da0
|
use tooltips instead of a list
|
2017-09-23 15:04:40 +02:00 |
|
|
|
8be73e73a1
|
trying to switch off autocomplete in account settings (not fully possible)
|
2017-09-23 14:51:15 +02:00 |
|
|
|
2729ccd68f
|
use HTTPS for gitlist
|
2017-09-23 10:33:39 +02:00 |
|
