parent
a542b3d26c
commit
4b0a6ba769
|
@ -1,5 +1,8 @@
|
|||
sudo: false
|
||||
dist: trusty
|
||||
# TODO: remove “group” once trusty kernel is no longer affected by
|
||||
# https://github.com/google/sanitizers/issues/837
|
||||
group: deprecated-2017Q3
|
||||
services:
|
||||
- docker
|
||||
language: c
|
||||
|
|
Loading…
Reference in New Issue