From 755becd453a7078cf8ffa6fbae49ee9199fb2efb Mon Sep 17 00:00:00 2001
From: Charles Ferguson <gerph@gerph.org>
Date: Mon, 16 Aug 2021 02:21:05 +0100
Subject: [PATCH] Update the github workflow to use the 18.04 image.

The 18.04 image worked when last used. So probably this'll fix
the CI problem.
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6af2322..fecfcfb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -35,7 +35,7 @@ on:
 jobs:
   build-riscos:
     # The type of runner that the job will run on
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-18.04
 
     outputs:
       version: ${{ steps.version.outputs.version }}