-
Notifications
You must be signed in to change notification settings - Fork 3
Grading Config Files
Michael Wisely edited this page Dec 3, 2015
·
3 revisions
This is the config file for a course's grader. Refer to the folder structure page for details on where this file goes and the like.
-
course-id: Automatically generated UUID to uniquely prefix the names of docker images/containers. This way, more than one course could be graded on the same machine without interference. It doesn't have to be human readable; it's really just to ensure that course names don't collide.- Ex:
course-id: 5608ddb7-dc53-4057-97bd-5c6a5825ce0c
- Ex:
-
course-name: The name of the course- Ex:
course-name: CS 1570 Section A
- Ex:
-
git-private-key: The private key to use when cloning repositories over SSH.
This is an assignment-specific config file. Refer to the folder structure page for details on where this file goes and the like.
-
git-url: The location of the base repository that was forked to create each student's repo- This may be nonsense. We'll have to think this one through.
-
submission-deadline: Used to determine if an assignment is late -
use-latest-commit: Set to true if you want to grade the latest commit; regardless whether it was on time. -
use-latest-on-time-commit: Set to true if you want to grade the latest commit that was submitted before the specified deadline. -
max-run-time: Specify the longest wall time that is allowed when evaluating a submission -
grader-script: Details how to run the grader script. More details on grading can be found on the Automated Grading page -
docker: Some kind of nested dictionary for providing docker-specific configurations for running containers. Things like...- Memory limits
- CPU limits
- Network limits / access restrictions