Debian 9 has gcc 6.3

13 jobs for master in 32 minutes and 59 seconds
Status Job ID Name Coverage
  Stage0
passed #1652
pull base distributions

00:00:47

 
  Stage1
passed #1656
base:16.04

00:00:16

passed #1657
base:16.10

00:00:11

passed #1654
base:8

00:04:59

passed #1655
base:9

00:05:56

passed #1653
docker-builder

00:00:12

 
  Stage2
passed #1658
base:8-backports

00:00:50

passed #1659
dune:2.3

00:00:35

passed #1660
dune:2.4

00:00:13

passed #1661
dune:2.5

00:00:30

passed #1662
dune:git

00:22:11

 
  Stage3
passed #1663
dune-fufem:2.4

00:00:11

passed #1664
dune-fufem:git

00:03:37