Skip to content

General improvements from the initial merge

Georgi N. Georgiev requested to merge general_improvements into use_docker_executor

Based on !8 (closed)

Closes #3 (closed) #4 (closed)

Edited by Georgi N. Georgiev

Merge request reports

Loading