diff options
author | Jason Gross <jgross@mit.edu> | 2015-12-30 14:36:04 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2015-12-30 14:36:04 -0500 |
commit | 3369fd85a189d1e2e0ee4e84e659f18850b8dfaa (patch) | |
tree | 12461c4f47502bb90d52039c73aff3e1a32cf4ab /README.md | |
parent | 28c2120a300f0003cbe6977047d933529f9a7f85 (diff) |
Add build status image to README.md
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +[![Build Status](https://api.travis-ci.org/urweb/urweb.png?branch=master)](https://travis-ci.org/urweb/urweb) + # The Ur/Web Programming Language Implementation of a domain-specific functional programming language for web applications. Please see [the Ur/Web project web site](http://www.impredicative.com/ur/) for much more information! Here's a summary: |