1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2024-12-02 02:56:32 +02:00
ripgrep/ci
Andrew Gallant b0f6645408
ci: remove local deb build-and-publish script
I moved this to GitHub Actions. w00t.
2023-11-25 18:27:52 -05:00
..
docker doc: scrub mentions of asciidoc/asciidoctor 2023-11-21 18:39:32 -05:00
build-and-publish-m2 ci: improve docs for manual build-and-publish scripts 2023-11-21 18:39:32 -05:00
sha256-releases ci: make script names consistent 2020-03-15 21:06:45 -04:00
test-complete cli: replace clap with lexopt and supporting code 2023-11-20 23:51:53 -05:00
ubuntu-install-packages doc: scrub mentions of asciidoc/asciidoctor 2023-11-21 18:39:32 -05:00
utils.sh ci: install cross from crates.io 2020-11-09 07:25:41 -05:00