Skip to content
Back to pull request #43

Replace grep with ripgrep for expensive searches #88

Sign in to view logs

Replace grep with ripgrep for expensive searches

Replace grep with ripgrep for expensive searches #88

pre-commit

pre-commit
succeeded May 28, 2024 in 17s