chore: sync install scripts — daemon health on port 50051 + PATH hints #137
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Verifies STATUS.yaml + AGENTS.md headline stats match the working tree. | |
| # Run locally: python scripts/refresh_repo_stats.py | |
| # Runs on every PR/push so contributors never rely on remembering path filters. | |
| name: Repo stats | |
| on: | |
| pull_request: | |
| push: | |
| branches: [main, master] | |
| workflow_dispatch: | |
| jobs: | |
| check: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Set up Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: "3.10" | |
| - name: Install package (dev — pytest collect-only) | |
| run: | | |
| python -m pip install --upgrade pip | |
| pip install ".[dev]" | |
| - name: Verify headline stats are current | |
| run: python scripts/refresh_repo_stats.py --check |