From d68ece243924a969bd8b4ce6a5a4e7fb2cf23df1 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 20 Jun 2016 07:42:24 -0700 Subject: Add travis build status indicator --- README.md | 2 ++ 1 file changed, 2 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index 5b6c7b418..450259863 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ +[![Build Status](https://api.travis-ci.org/mit-plv/fiat-crypto.png?branch=master)](https://travis-ci.org/mit-plv/fiat-crypto) + Fiat-Crypto: Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives ----- -- cgit v1.2.3