1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-08-04 21:52:54 +02:00

ci: switch build to GitHub Actions

This commit is contained in:
Andrew Gallant
2020-02-18 18:15:30 -05:00
parent f314b0d55f
commit da3431b478
15 changed files with 283 additions and 100 deletions

View File

@ -0,0 +1,4 @@
FROM rustembedded/cross:i686-unknown-linux-gnu
COPY stage/ubuntu-install-packages /
RUN /ubuntu-install-packages