From 9a6b540adee6440f36ce83c826ec291697f0dcf2 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 25 Feb 2019 13:53:48 -0500 Subject: Add back build status indicator to README.md --- README.md | 1 + 1 file changed, 1 insertion(+) (limited to 'README.md') diff --git a/README.md b/README.md index 1e407ad93..4aeb68c33 100644 --- a/README.md +++ b/README.md @@ -3,6 +3,7 @@ Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primiti Building ----- +[![Build Status](https://api.travis-ci.org/mit-plv/fiat-crypto.png?branch=master)](https://travis-ci.org/mit-plv/fiat-crypto) This repository requires coq 8.8 or later. 8.7 may work, but we don't use it ourselves. -- cgit v1.2.3