From 3705e4e4d42fe7845118af8e160b6db3987a4329 Mon Sep 17 00:00:00 2001
From: Jonas Kvinge <jonas@jkvinge.net>
Date: Mon, 6 Apr 2020 03:07:09 +0200
Subject: [PATCH] Add Ubuntu Focal to CircleCI

---
 .circleci/config.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index ca7ab121b..dbcb0581b 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -454,6 +454,14 @@ jobs:
       - cmake
       - build_deb
 
+  build_ubuntu_focal:
+    docker:
+      - image: ubuntu:focal
+    steps:
+      - install_ubuntu_dependencies
+      - checkout
+      - cmake
+      - build_deb
 
 workflows:
   version: 2
@@ -518,3 +526,7 @@ workflows:
           filters:
             tags:
               only: /.*/
+      - build_ubuntu_focal:
+          filters:
+            tags:
+              only: /.*/