WIP: dev #6

Closed
李衍志523370910113 wants to merge 131 commits from dev into master
Showing only changes of commit 9f3d820ae3 - Show all commits

View File

@ -57,7 +57,7 @@
"cases": [
{
"args": [
"/tmp/repo-health-checker",
"/usr/local/bin/repo-health-checker",
"-root=.",
"-repoSize=50.5",
"-meta=README.md",
@ -2264,27 +2264,5 @@
]
}
]
},
"teapot": {
"logPath": "/home/tt/.cache/joj3/homework/h7/e2-joint-teapot-debug.log",
"scoreboardPath": "homework/h7-scoreboard.csv",
"failedTablePath": "homework/h7-failed-table.md",
"gradingRepoName": "Nuvole-joj",
"skipIssue": false,
"skipScoreboard": false,
"skipFailedTable": false,
"maxTotalScore": 100,
"groups": [
{
"name": "joj",
"maxCount": 1000,
"timePeriodHour": 24
},
{
"name": "run",
"maxCount": 1000,
"timePeriodHour": 24
}
]
}
}