mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-01-19 05:49:14 +02:00
bfbbfbf979
Why isn't CI running on each push? It seems to only be running on tagged commits.