Merge branch 'dev' into tableLevels

This commit is contained in:
Yann Collet 2018-05-14 11:52:05 -07:00
commit 3870db1ba5

View File

@ -1,8 +1,12 @@
# Medium Tests: Run on all commits/PRs to dev branch # Medium Tests: Run on all commits/PRs to dev branch
language: c language: c
sudo: required
dist: trusty dist: trusty
sudo: required
addons:
apt:
update: true
matrix: matrix:
include: include:
# Ubuntu 14.04 # Ubuntu 14.04