Remove Travis CI (emina#174)

vcanumalla · Nov 3, 2020 · a24d2bc · a24d2bc
1 parent d3dca21
commit a24d2bc
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 53 deletions.
diff --git a/.travis.yml b/.travis.yml
diff --git a/README.md b/README.md
@@ -1,7 +1,7 @@
 The Rosette Language
 ====================
 
-[![Build Status](https://travis-ci.org/emina/rosette.svg?branch=master)](https://travis-ci.org/emina/rosette)
+[![Tests](https://github.com/emina/rosette/workflows/Tests/badge.svg)](https://github.com/emina/rosette/actions?query=workflow%3ATests)
 
 [Rosette](http://emina.github.io/rosette/) is a solver-aided programming language that extends [Racket](http://racket-lang.org) with language constructs for program synthesis, verification, and more. This repository includes the source code for Rosette, as well as several example solver-aided DSLs.