diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-31 14:39:17 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-06 11:05:15 +0100 |
| commit | 21c5a5a52cfccdd8deec6add0dd24d4e5055aea4 (patch) | |
| tree | c0e37336ab167cb2292abd2227c64cf8e81b850b | |
| parent | 82fe5e60f1e1806b097bdd927f3313c73f8c8bbe (diff) | |
| download | klee-21c5a5a52cfccdd8deec6add0dd24d4e5055aea4.tar.gz | |
Build on trusty without sudo - uses faster Docker infrastructure from TravisCI
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 1f07638a..b840eacc 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,4 +1,3 @@ -sudo: required dist: trusty language: cpp services: |