diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-07 15:40:13 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-07 15:41:50 +0200 |
| commit | 6c70a1c220c1011a5b0d6e612dcb67d6dc36e80a (patch) | |
| tree | 63912998f08cd4579addb29a5e576f14a11dc235 /docs/linux/coverage.md | |
| parent | 413b991c26fa3ffadb04c4fe199dc3d1e1560232 (diff) | |
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
Diffstat (limited to 'docs/linux/coverage.md')
0 files changed, 0 insertions, 0 deletions