message: Add new docker images to Jenkinsfile
diff: @@ -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,
  