Skip to content

feat(repro): --lint runs lintrunner on a CPU box#218

Merged
wdvr merged 1 commit into
mainfrom
feat/repro-lint
Jun 22, 2026
Merged

feat(repro): --lint runs lintrunner on a CPU box#218
wdvr merged 1 commit into
mainfrom
feat/repro-lint

Conversation

@wdvr

@wdvr wdvr commented Jun 22, 2026

Copy link
Copy Markdown
Owner

What

Adds gpu-dev repro --lint — run a PyTorch lint job on a CPU box instead of a python test.

  • CPU box: defaults --gpu-type cpu-x86 and forces gpu_count=0 (the lambda rejects CPU reservations with gpus>0). Same warm-claim-first path → instant CPU warm pod when available.
  • No torch build: skips the by-sha cache / build farm / pip install -e .. Lint only needs source, staged at the ref (clones partial if the pod has no tree).
  • Runs lintrunner: lintrunner init then lint.
    • Bare repro --lint → lints main, --all-files (ref is now optional, defaults to main).
    • repro --lint pr/N → lints the PR diff (--merge-base-with origin/main, CI-equivalent).
    • Extra args pass straight through (e.g. --all-files).
  • Box lifecycle unchanged: TTY drops you in + prompts to cancel on exit; --keep leaves it running; --no-connect is CI mode (exit code = lint result).

Tests

8 new unit tests in test_repro.py (cpu-x86 + gpu_count=0, default scopes for PR vs main, extra-arg passthrough, lint verdict, ref-required for test path). Full suite: 1207 passed, 3 pre-existing xfails.

Bumps gpu-dev → 0.7.13 (CLI-only; no tofu apply needed).

…ild)

gpu-dev repro --lint reserves a CPU warm box (cpu-x86, gpu_count=0),
checks out the ref source-only, and runs lintrunner instead of a python
test. Bare 'repro --lint' lints current main (--all-files); a PR ref lints
the diff (--merge-base-with origin/main, CI-equivalent); extra args pass
through to lintrunner. ref is now optional (defaults to main with --lint).

Bumps gpu-dev to 0.7.13.
@wdvr wdvr merged commit 9e0d8cd into main Jun 22, 2026
3 checks passed
@wdvr wdvr deleted the feat/repro-lint branch June 22, 2026 18:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant