From 24d9114275cf8e2aa279feabd03c58f411f38a92 Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Wed, 6 May 2020 14:43:04 +0200
Subject: .github/workflows: add CI workflow

Switch from Travis to Github Actions for testing.
This is faster and is better integrated with github.

Update #1699
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.gitignore')

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
-- 
cgit mrf-deployment