base-10: gcc-7 is now the default compiler

18 jobs for master in 47 minutes and 32 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Stage0
passed #5768
pull base distributions

00:00:19

 
  Stage1
passed #5773
base:10

00:05:58

passed #5774
base:16.04

00:00:13

passed #5771
base:8

00:00:13

passed #5772
base:9

00:00:13

passed #5769
docker-builder

00:00:12

passed #5770
proxy

00:00:12

 
  Stage2
passed #5775
base:8-backports

00:01:05

passed #5776
dune:2.3

00:00:49

passed #5777
dune:2.4

00:00:33

passed #5778
dune:2.5

00:17:21

passed #5779
dune:2.6

00:12:58

passed #5780
dune:git

00:09:17

 
  Stage3
passed #5781
dune-fufem:2.4

00:03:24

passed #5782
dune-fufem:git

00:03:46

passed #5783
dune-pdelab-deps:2.6

00:02:39

passed #5784
dune-pdelab-deps:git

00:02:11

 
  Publish
passed #5785
publish

00:17:28