Please add a longer commit message explaining what this change does, and why, and what do you hope will happen or will work after this patch (is https://travis-ci.org/cloudius-systems/osv supposed to be able to run?), and perhaps what still remains to be done. You should use the phrase "Refs #1044" in the commit message - this will cause github to automatically add a message in issue #1044 saying that a commit was added related to this issue. Or, if you use the phrase "Fixes #1044", github will automatically close that issue as having been fixed by this commit (I don't know if you in fact want to close this issue, though).
-- Nadav Har'El n...@scylladb.com On Tue, Dec 3, 2019 at 9:19 AM Mason Davis <mason.da...@utexas.edu> wrote: > Signed-off-by: Mason Davis <mason.da...@utexas.edu> > --- > .travis.yml | 9 +++++++++ > 1 file changed, 9 insertions(+) > create mode 100644 .travis.yml > > diff --git a/.travis.yml b/.travis.yml > new file mode 100644 > index 00000000..d38a69f3 > --- /dev/null > +++ b/.travis.yml > @@ -0,0 +1,9 @@ > +sudo: required > +language: c > +services: > + - docker > +before_install: > + - docker build -t osv/builder -f docker/Dockerfile.Ubuntu . > + - docker run -it --privileged -d --name build osv/builder > +script: > + - docker exec build echo Running Tests > -- > 2.24.0 > > -- > You received this message because you are subscribed to the Google Groups > "OSv Development" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to osv-dev+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/osv-dev/20191203071908.501010-1-mason.davis%40utexas.edu > . > -- You received this message because you are subscribed to the Google Groups "OSv Development" group. To unsubscribe from this group and stop receiving emails from it, send an email to osv-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/osv-dev/CANEVyjtCfaWBxooK6TSxq3SHZbHxAvSPDvxwFDe36SkwaR_oMA%40mail.gmail.com.
