Usage
This section describes advanced usage of the checker.
CLI
The main checker functionality is available via CLI.
checker
Manytask checker - automated tests for students' assignments.
Usage:
checker [OPTIONS] COMMAND [ARGS]...
Options:
Name | Type | Description | Default |
---|---|---|---|
--checker-config |
path | Path to the checker config file. | .checker.yml |
--deadlines-config |
path | Path to the deadlines config file. | .deadlines.yml |
--version |
boolean | Show the version and exit. | False |
--help |
boolean | Show this message and exit. | False |
Subcommands
- check: Check private repository: run tests, lint etc. First forces validation.
- export: Export tasks from reference to public repository.
- grade: Process the configuration file and grade the tasks.
- validate: Validate the configuration files, plugins and tasks.
checker check
Check private repository: run tests, lint etc. First forces validation.
- Run
validate
command. - Export tasks to temporary directory for testing.
- Run pipelines: global, tasks and (dry-run) report.
- Cleanup temporary directory.
Usage:
checker check [OPTIONS] [ROOT] [REFERENCE_ROOT]
Options:
Name | Type | Description | Default |
---|---|---|---|
-t , --task |
text | Task name to check (multiple possible) | None |
-g , --group |
text | Group name to check (multiple possible) | None |
-p , --parallelize |
boolean | Execute parallel checking of tasks | True |
-n , --num-processes |
integer | Num of processes parallel checking | 4 |
--no-clean |
boolean | Clean or not check tmp folders | False |
-v , --verbose / -s , --silent |
boolean | Verbose tests output | True |
--dry-run |
boolean | Do not execute anything, only log actions | False |
--help |
boolean | Show this message and exit. | False |
checker export
Export tasks from reference to public repository.
Usage:
checker export [OPTIONS] [REFERENCE_ROOT] [EXPORT_ROOT]
Options:
Name | Type | Description | Default |
---|---|---|---|
--commit |
boolean | Commit and push changes to the repository | False |
--dry-run |
boolean | Do not execute anything, only log actions | False |
--help |
boolean | Show this message and exit. | False |
checker grade
Process the configuration file and grade the tasks.
- Detect changes to test.
- Export tasks to temporary directory for testing.
- Run pipelines: global, tasks and report.
- Cleanup temporary directory.
Usage:
checker grade [OPTIONS] [ROOT] [REFERENCE_ROOT]
Options:
Name | Type | Description | Default |
---|---|---|---|
--submit-score |
boolean | Submit score to the Manytask server | False |
--timestamp |
text | Timestamp to use for the submission | None |
--username |
text | Username to use for the submission | None |
--no-clean |
boolean | Clean or not check tmp folders | False |
-v , --verbose / -s , --silent |
boolean | Verbose tests output | False |
--dry-run |
boolean | Do not execute anything, only log actions | False |
--help |
boolean | Show this message and exit. | False |
checker validate
Validate the configuration files, plugins and tasks.
- Validate the configuration files content.
- Validate mentioned plugins.
- Check all tasks are valid and consistent with the deadlines.
Usage:
checker validate [OPTIONS] [ROOT]
Options:
Name | Type | Description | Default |
---|---|---|---|
-v , --verbose / -s , --silent |
boolean | Verbose output | True |
--help |
boolean | Show this message and exit. | False |
Docker
Also, we provide a docker image with checker installed.
We have tried to optimize it, but you may want to create your own image from scratch.
The docker entrypoint is checker
script, so you can use it as a CLI application.
docker run --rm -it manytask/checker --help