summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorAlasdair Armstrong2019-12-11 18:40:26 +0000
committerGitHub2019-12-11 18:40:26 +0000
commit7d23751f48f60404643f35389b5ca4c25c08695b (patch)
tree383ec6336de28cf6a31c38c905874af22ea278ea /README.md
parentb48403b1b91ac355e50e7ede8164c3045b440dc4 (diff)
parent0c3ae8f4beea29f524247eea27884b07e0ec238e (diff)
Merge pull request #58 from Alasdair/sail2
Add github actions to build on macOS and ubuntu
Diffstat (limited to 'README.md')
-rw-r--r--README.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/README.md b/README.md
index b079ba2a..c30ae501 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,9 @@
The Sail ISA specification language
===================================
+![](https://github.com/rems-project/sail/workflows/CI%20ubuntu-latest/badge.svg)
+![](https://github.com/rems-project/sail/workflows/CI%20macOS-latest/badge.svg)
+
Overview
========