mirror of
https://github.com/carp-lang/Carp.git
synced 2024-09-11 05:25:28 +03:00
Travis: Switching to older infrastructure to work around github.com/travis-ci/travis-ci/issues/9033
Issue #217
This commit is contained in:
parent
f11969231a
commit
cc8c6c86bc
@ -3,8 +3,10 @@
|
||||
# language `c` is lighter weight, and is fine since we declare most of our own deps
|
||||
language: c
|
||||
|
||||
# sudo false gives us faster build times as it can use newer infrastructure
|
||||
sudo: false
|
||||
# sudo false would give us faster build times
|
||||
# but we need sudo true if we want to use leak sanitizer on travis due to
|
||||
# github.com/travis-ci/travis-ci/issues/9033
|
||||
sudo: true
|
||||
|
||||
os:
|
||||
- linux
|
||||
|
Loading…
Reference in New Issue
Block a user