Centralize tool version pins and improve web provisioning#80

Merged

alexkroman merged 3 commits into

mainfrom

claude/wizardly-einstein-4fhc9k

Jun 11, 2026

Commits on Jun 11, 2026

Make web sessions provision the full gate quietly and match CI exactly
claude
committed
Merge remote-tracking branch 'origin/main' into claude/wizardly-einstein-4fhc9k
claude
committed
gitignore pytest-xdist per-worker coverage intermediates
claude
committed