Merge branch 'circleci'

2020-04-06 06:46:39 +02:00
parent a2a06be62f 3705e4e4d4
commit b92961fda0
1 changed files with 12 additions and 0 deletions
--- 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: /.*/