Spaces:
No application file
No application file
Sandeep Suresh
feat: Add CI workflows with pre-submit validation and update pytest dependencies
0b9509b Download .github/workflows/pre-submit.yml from SandyTheAdventurer/openenv: direct link, hf CLI and curl.
- Browser
- Download file 1.25 kB
-
https://huggingface.co/spaces/SandyTheAdventurer/openenv/resolve/main/.github/workflows/pre-submit.yml
- Command line
-
hf download hf://spaces/SandyTheAdventurer/openenv/.github/workflows/pre-submit.yml
-
curl -L -o pre-submit.yml https://huggingface.co/spaces/SandyTheAdventurer/openenv/resolve/main/.github/workflows/pre-submit.yml
1.25 kB
| name: pre-submit CI | |
| on: | |
| push: | |
| pull_request: | |
| jobs: | |
| pre-submit: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| - name: Set up Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: "3.12" | |
| - name: Set up uv | |
| uses: astral-sh/setup-uv@v4 | |
| - name: Install dependencies | |
| run: uv sync --extra dev | |
| - name: Start server | |
| run: | | |
| uv run server > server.log 2>&1 & | |
| echo "SERVER_PID=$!" >> "$GITHUB_ENV" | |
| - name: Wait for server | |
| run: | | |
| for _ in {1..30}; do | |
| if curl -fsS -X POST http://localhost:8000/reset -H "Content-Type: application/json" -d '{}' >/dev/null; then | |
| exit 0 | |
| fi | |
| sleep 2 | |
| done | |
| echo "Server did not become ready in time" | |
| cat server.log || true | |
| exit 1 | |
| - name: Run pre-submission validator | |
| run: | | |
| chmod +x ./pre-submission.sh | |
| uv run ./pre-submission.sh http://localhost:8000 . | |
| - name: Stop server | |
| if: always() | |
| run: | | |
| if [ -n "${SERVER_PID:-}" ]; then | |
| kill "$SERVER_PID" || true | |
| fi | |