Hugging Face's logo

Spaces:
lzumot
/
lean-prover-validator
Sleeping

App Files Community
LamZain commited on
Commit
34d7ab3
·
1 Parent(s): cdd234b

2026-01-26 test1

Browse files
Files changed (1) hide show
  1. Dockerfile +1 -1
Dockerfile CHANGED
@@ -37,4 +37,4 @@ COPY . .
37
 
38
  EXPOSE 7860
39
 
40
- CMD ["python", "app.py"]
 
37
 
38
  EXPOSE 7860
39
 
40
+ CMD ["python3", "app.py"]