From 08a5dc2e398a1e799f46edf7095e56485f3c2808 Mon Sep 17 00:00:00 2001
From: Jonathan Moallem <jdmoallem@gmail.com>
Date: Sun, 22 Nov 2020 02:50:37 +1100
Subject: [PATCH] Explicitly stated Ubuntu version in platform build

---
 .github/workflows/platform-build.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/platform-build.yml b/.github/workflows/platform-build.yml
index f2168fd..dfe8f1b 100644
--- a/.github/workflows/platform-build.yml
+++ b/.github/workflows/platform-build.yml
@@ -12,13 +12,11 @@ jobs:
     runs-on: macos-latest
     steps:
     - uses: actions/checkout@v2
-    - name: install Xcode tools
-      run: xcode-select --install
     - name: make
       run: make
     
   ubuntu-build:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
     steps:
     - uses: actions/checkout@v2
     - name: update apt