summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorAlasdair2020-06-02 15:23:36 +0100
committerAlasdair2020-06-02 15:23:36 +0100
commit62038e2448520ad8d1e352b1d5f9ca9dc7306364 (patch)
treedab810f7007be1c2484e249e2a572c0351514373 /README.md
parent4525d78142cba80c4f4daaeca79426368f26e77e (diff)
Add ubuntu 20.04 workflow
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 620569e2..bc8dff94 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
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%20ubuntu-20.04/badge.svg)
![](https://github.com/rems-project/sail/workflows/CI%20macOS-latest/badge.svg)
Overview