From 84de86beb55c6dbe4fc5dfef3784fe1b4a329767 Mon Sep 17 00:00:00 2001
From: ISSOtm <eldredhabert0@gmail.com>
Date: Sat, 3 Oct 2020 01:02:32 +0200
Subject: [PATCH] Enable `make develop` on Ubuntu 20.04 CI as well

---
 .github/workflows/testing.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/testing.yml b/.github/workflows/testing.yml
index 846effb8..cf7ab63a 100644
--- a/.github/workflows/testing.yml
+++ b/.github/workflows/testing.yml
@@ -15,6 +15,10 @@ jobs:
             cc: gcc
             target: develop
             cmakevars: -DDEVELOP=ON
+          - os: ubuntu-20.04
+            cc: gcc
+            target: develop
+            cmakevars: -DDEVELOP=ON
       fail-fast: false
     runs-on: ${{ matrix.os }}
     steps: