diff options
| author | Guillaume Le Vaillant <glv@posteo.net> | 2019-11-29 17:15:21 +0100 |
|---|---|---|
| committer | Guillaume Le Vaillant <glv@posteo.net> | 2019-11-29 17:15:21 +0100 |
| commit | 7714f817fbcdc2669c0d7ecc2d2658efde197cd8 (patch) | |
| tree | 35d6e669fd128fe85e9dcaea2dac44ae26421618 | |
| parent | f7fa5c0c8214a64f8a27a6e6a56c317abd4edb25 (diff) | |
Set Travis environment to Ubuntu 18.04
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 251da28..aae92b9 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,3 +1,4 @@ +dist: bionic language: common-lisp sudo: required |