mirrors/ripgrep
1
0
Fork 0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-12-23 06:30:57 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1
ripgrep/ci
History
Andrew Gallant 8f0d3d78ca clean up CI script
2016-09-09 18:10:20 -04:00
..
before_deploy.sh fix deploy 2016-09-08 16:35:48 -04:00
install.sh Trying CI. 2016-09-05 20:08:46 -04:00
script.sh clean up CI script 2016-09-09 18:10:20 -04:00
utils.sh Trying CI. 2016-09-05 20:08:46 -04:00