From eb2a9c654f83934b7d4563db5137bd927f8ceb85 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 17 Jul 2020 21:34:36 +0100 Subject: Remove travis CI --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 0f1041e..e426ba4 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Vericert [![Build Status](https://travis-ci.com/ymherklotz/vericert.svg?token=qfBKKGwxeWkjDsy7e16x&branch=master)](https://travis-ci.com/ymherklotz/vericert) +# VeriCert ![CI](https://github.com/ymherklotz/vericert/workflows/CI/badge.svg) A formally verified HLS tool in Coq, building on top of [CompCert](https://github.com/AbsInt/CompCert). -- cgit