commit 3655e7464de3d52643ecddd4b5f9f4f3e7f62398 Author: Philip Chimento Date: Mon Aug 3 14:35:30 2026 -0700 CI: Run tests of tools only when the tools are changed This was what I intended from the start, but I used a wrong JSON key ("files" instead of "paths"). But this would never have worked as intended anyway, because jobs that are skipped apparently cannot be required for PRs to pass, and we would like the tools tests to be required. LLM disclosure: The diff was drafted using a bot.