Commit Graph

564 Commits

Author SHA1 Message Date
Hauke Klement
0cece1d07f fix for broken navigation to binary workspace files 2015-03-03 16:16:39 +01:00
Hauke Klement
36795c0586 display test files' filenames on scoring results page 2015-03-03 11:47:10 +01:00
Hauke Klement
c84e47753c added link to administrator dashboard 2015-02-24 18:25:33 +01:00
Hauke Klement
f0ca3b6e82 improved readability 2015-02-23 17:19:09 +01:00
Hauke Klement
466f8967e2 eliminated naming clash with Sorcery 2015-02-23 10:39:04 +01:00
Hauke Klement
fcc5a85a76 added dynamic container pool graph to administrator dashboard 2015-02-17 14:07:48 +01:00
Hauke Klement
59ca0a57c3 administrator dashboard for observing the Docker container pool 2015-02-10 12:23:26 +01:00
Hauke Klement
7ab57403df minor changes 2015-02-10 10:34:24 +01:00
Hauke Klement
c49bab1741 updated Font Awesome 2015-02-06 16:05:31 +01:00
Hauke Klement
9e8bbe32d7 updated Bootstrap theme 2015-02-06 16:03:03 +01:00
Hauke Klement
5f0815b140 implemented pooling for Docker containers 2015-02-06 15:59:51 +01:00
Hauke Klement
fe67076276 minor changes 2015-01-28 12:28:22 +01:00
Hauke Klement
dd624b26c8 started implementing teams 2015-01-28 12:28:09 +01:00
Hauke Klement
4cbf9970b1 transferred Code Ocean from original repository to GitHub 2015-01-22 10:01:32 +01:00