Skip to content

Merge pull request #19305 from davidbarsky/davidbarsky/vendor-query-g… #6701

Merge pull request #19305 from davidbarsky/davidbarsky/vendor-query-g…

Merge pull request #19305 from davidbarsky/davidbarsky/vendor-query-g… #6701

other_metrics (ripgrep-13.0.0)

succeeded Mar 10, 2025 in 31s