jenkinsci / autograding-plugin

Jenkins plugin that autogrades projects based on a configurable set of metrics.

https://plugins.jenkins.io/autograding/

Geek Repo

Github PK Tool