User specified metrics
Open
enhancement
- Dominant language
- Python
- Stars
- 22
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
We should make it possible for users to define their own metrics for the judge output.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.