use ubuntu 20.04 explicitly

stefanb · Jun 21, 2020 · ae639ab · ae639ab
1 parent def2f58
commit ae639ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: