diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-06 14:43:04 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-18 11:34:42 +0200 |
| commit | 24d9114275cf8e2aa279feabd03c58f411f38a92 (patch) | |
| tree | 4d3b94df3a439e5100a179c99bf96ebb15781420 /.gitignore | |
| parent | 37137150cb3bec5efc9112447b03d4999612e3d4 (diff) | |
.github/workflows: add CI workflow
Switch from Travis to Github Actions for testing.
This is faster and is better integrated with github.
Update #1699
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 63902676d..c9f0198d6 100644 --- a/.gitignore +++ b/.gitignore @@ -9,6 +9,9 @@ dashboard/app/config_prod.go # stub file used by Makefile .descriptions +# coverage report created by make presubmit/test +.coverage.txt + # files generated by syz-sysgen sys/*/gen/*.go executor/defs.h |