Add new docker images to Jenkinsfile

actor-framework · Sep 25, 2020 · c28e5a4 · c28e5a4
1 parent ab43a93
commit c28e5a4
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -39,6 +39,12 @@ config = [
             builds: ['debug', 'release'],
             extraDebugFlags: ['CAF_SANITIZERS:STRING=address,undefined'],
         ]],
+        ['centos-8', [
+            numCores: 4,
+            tags: ['docker'],
+            builds: ['debug', 'release'],
+            extraDebugFlags: ['CAF_SANITIZERS:STRING=address,undefined'],
+        ]],
         ['debian-9', [
             numCores: 4,
             tags: ['docker'],
@@ -59,6 +65,11 @@ config = [
             tags: ['docker'],
             builds: ['debug', 'release'],
         ]],
+        ['ubuntu-20.04', [
+            numCores: 4,
+            tags: ['docker'],
+            builds: ['debug', 'release'],
+        ]],
         ['fedora-30', [
             numCores: 4,
             tags: ['docker'],
@@ -69,6 +80,11 @@ config = [
             tags: ['docker'],
             builds: ['debug', 'release'],
         ]],
+        ['fedora-32', [
+            numCores: 4,
+            tags: ['docker'],
+            builds: ['debug', 'release'],
+        ]],
         // One extra debug build with exceptions disabled.
         ['centos-7', [
             numCores: 4,