Actions: BurntSushi/ripgrep
Actions
Showing runs from all workflows
734 workflow runs
734 workflow runs
rg cannot traverse arbitrarily deep directories like GNU grep. (#3259)
ci
#3829:
Pull request #3359
opened
by
krapcys1-maker
ignore: gitignore relative paths are not treated relatively (#1909)
ci
#3828:
Pull request #3358
synchronize
by
krapcys1-maker
ignore: gitignore relative paths are not treated relatively (#1909)
ci
#3827:
Pull request #3358
opened
by
krapcys1-maker
Rocq .v files
ci
#3825:
Pull request #3357
opened
by
Durbatuluk1701