From 74ad8fd545f72c76a55dcd2d87683041a09816cb Mon Sep 17 00:00:00 2001
From: Florian Bruhin <me@the-compiler.org>
Date: Fri, 20 Nov 2020 16:51:15 +0100
Subject: [PATCH] ci: Downgrade to Ubuntu 18.04 for CodeQL env

It emits a setup warning because of a missing Python 2 pip otherwise:
https://github.com/github/codeql-action/pull/316
---
 .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 6ddb793e1..f4d8cf668 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -164,7 +164,7 @@ jobs:
   codeql:
     if: "!contains(github.event.head_commit.message, '[ci skip]')"
     timeout-minutes: 30
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-18.04
     steps:
       - name: Checkout repository
         uses: actions/checkout@v2