From ae639ab832260067dc2c20394e2196af6d122753 Mon Sep 17 00:00:00 2001
From: Stefan Baebler <stefan.baebler@gmail.com>
Date: Sun, 21 Jun 2020 21:05:06 +0200
Subject: [PATCH] use ubuntu 20.04 explicitly

---
 .github/workflows/make.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/make.yml b/.github/workflows/make.yml
index ea3286f..a3ff860 100644
--- a/.github/workflows/make.yml
+++ b/.github/workflows/make.yml
@@ -15,7 +15,7 @@ jobs:
   # This workflow contains a single job called "build"
   build:
     # The type of runner that the job will run on
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
 
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps: