File tree Expand file tree Collapse file tree 1 file changed +6
-1
lines changed Expand file tree Collapse file tree 1 file changed +6
-1
lines changed Original file line number Diff line number Diff line change @@ -9,8 +9,13 @@ miniwob: stop-miniwob
99 @git clone https://github.com/Farama-Foundation/miniwob-plusplus.git || true
1010 @cd miniwob-plusplus && git checkout 7fd85d71a4b60325c6585396ec4f48377d049838
1111 @python -m http.server 8080 --directory miniwob-plusplus/miniwob/html & echo $$ ! > .miniwob-server.pid
12+ @sleep 3
1213 @echo " MiniWob server started on http://localhost:8080"
1314
15+ check-miniwob :
16+ @curl -I " http://localhost:8080/miniwob/" || (echo " MiniWob not reachable" && exit 1)
17+ @echo " MiniWob server is reachable"
18+
1419stop-miniwob :
1520 @kill -9 ` cat .miniwob-server.pid` || true
1621 @rm -f .miniwob-server.pid
@@ -20,7 +25,7 @@ run-tests:
2025 @MINIWOB_URL=" http://localhost:8080/miniwob/" pytest -n 5 --durations=10 -m ' not pricy' tests/
2126 @echo " Tests completed"
2227
23- test : setup miniwob run-tests stop-miniwob
28+ test : setup miniwob check-miniwob run-tests stop-miniwob
2429
2530lint : setup
2631 @black src/ --check --diff
You can’t perform that action at this time.
0 commit comments