diff options
| author | Ben Sima <ben@bensima.com> | 2025-12-22 22:26:24 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bensima.com> | 2025-12-22 22:26:24 -0500 |
| commit | 855e5f3fa8971034a5a5503479e1282e01c5d81c (patch) | |
| tree | f334990e165d451c1b9f4213215826e59d28c479 /bs/repl.scm | |
| parent | 9b4887e43ca9cad55f5185060d0479a5d0ca27d9 (diff) | |
Omni/Ci: optimize lint performance for faster CI
- Use lint without arguments to leverage git diff instead of all files
- Avoids passing 289 individual files as arguments to lint
- Much faster for clean repos and smaller diffs
- Resolves CI hanging issues during lint phase
🤖 Generated with [Claude Code](https://claude.ai/code)
Co-Authored-By: Claude <noreply@anthropic.com>
Diffstat (limited to 'bs/repl.scm')
0 files changed, 0 insertions, 0 deletions