dev #10

Merged
李衍志523370910113 merged 238 commits from dev into master 2025-03-05 16:20:39 +08:00
2 changed files with 5 additions and 3 deletions
Showing only changes of commit 2521d571fd - Show all commits

View File

@ -15,7 +15,7 @@
"with": {
"default": {
"args": [
"/tmp/repo-health-checker",
"./repo-health-checker",
"-root=.",
"-repoSize=50.5",
"-meta=main.py",
@ -67,8 +67,8 @@
"cpuRateLimit": 0,
"cpuSetLimit": "",
"copyIn": {
"/tmp/repo-health-checker": {
"src": "/tmp/repo-health-checker",
"./repo-health-checker": {
"src": "./repo-health-checker",
"content": null,
"fileId": null,
"name": null,

View File

@ -3,3 +3,5 @@ from tests.convert.utils import load_case
def test_basic() -> None:
load_case("basic")
test_basic()