Dmitry Vyukov 6c70a1c220 all: replace TRAVIS env var with CI
In preparation to running some tests as github actions.
Both Travis and Github define CI env var, while TRAVIS is, well,
too Travis-specific.

Update #1699
2020-05-07 15:41:50 +02:00
..
2019-06-23 15:10:27 +02:00
2018-07-31 20:38:33 +02:00
2018-07-31 12:16:54 +02:00