Add execution environment statistics

This commit is contained in:
Maximilian Grundke
2015-10-29 14:19:31 +01:00
parent 22da25be60
commit 78422647fe
9 changed files with 53 additions and 10 deletions

View File

@@ -167,6 +167,11 @@ en:
shell:
command: Command
headline: Shell
statistics:
exercise: Exercise
score: Average Score
runs: Average Number of Runs
worktime: Average Worktime
exercises:
editor:
confirm_start_over: Do you really want to start over?
@@ -239,10 +244,10 @@ en:
intermediate_submissions: Intermediate Submissions
participants: Participating Users
users: '%{count} distinct users'
user: 'User'
score: 'Score'
runs: 'Runs'
worktime: 'Worktime'
user: User
score: Score
runs: Runs
worktime: Worktime
submit:
failure: An error occured while transmitting your score. Please try again later.
files: