Merge remote-tracking branch 'smuething/bump-base-10-to-clang-5'

18 jobs for master in 97 minutes and 10 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Stage0
passed #5245
pull base distributions

00:00:22

 
  Stage1
passed #5250
base:10

00:05:26

passed #5251
base:16.04

00:06:14

passed #5248
base:8

00:05:06

passed #5249
base:9

00:04:54

passed #5246
docker-builder

00:00:54

passed #5247
proxy

00:00:40

 
  Stage2
passed #5252
base:8-backports

00:01:14

passed #5253
dune:2.3

00:01:05

passed #5254
dune:2.4

00:00:36

passed #5255
dune:2.5

00:17:04

passed #5256
dune:2.6

00:12:03

passed #5257
dune:git

00:08:39

 
  Stage3
passed #5258
dune-fufem:2.4

00:03:20

passed #5259
dune-fufem:git

00:03:43

passed #5260
dune-pdelab-deps:2.6

00:02:33

passed #5261
dune-pdelab-deps:git

00:02:07

 
  Publish
passed #5262
publish

01:08:47