From 62038e2448520ad8d1e352b1d5f9ca9dc7306364 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Tue, 2 Jun 2020 15:23:36 +0100
Subject: Add ubuntu 20.04 workflow

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README.md')

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
-- 
cgit v1.2.3