summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
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