Switch to GitHub actions for CI (#4190)

Enable CI with GitHub actions, add macOS builds and disable Travis CI.

1 files changed, 1 insertions, 3 deletions

diff --git a/README.md b/README.md
index 53398e00b..e2318ec55 100644
--- a/README.md
+++ b/README.md
@@ -1,9 +1,7 @@
 [![License: BSD](
     https://img.shields.io/badge/License-BSD%203--Clause-blue.svg)](
         https://opensource.org/licenses/BSD-3-Clause)
-[![Build Status](
-    https://travis-ci.org/CVC4/CVC4.svg?branch=master)](
-        https://travis-ci.org/CVC4/CVC4)
+![CI](https://github.com/CVC4/CVC4/workflows/CI/badge.svg)
 [![Coverage](
   https://img.shields.io/endpoint?url=https://cvc4.cs.stanford.edu/downloads/builds/coverage/nightly-coverage.json)](
     https://cvc4.cs.stanford.edu/downloads/builds/coverage)