Merge remote-tracking branch 'joe/test-labels'

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

00:00:23

 
  Stage1
passed #5755
base:10

00:00:12

passed #5756
base:16.04

00:00:11

passed #5753
base:8

00:00:16

passed #5754
base:9

00:00:12

passed #5751
docker-builder

00:00:41

passed #5752
proxy

00:00:41

 
  Stage2
passed #5757
base:8-backports

00:01:05

passed #5758
dune:2.3

00:00:52

passed #5759
dune:2.4

00:00:40

passed #5760
dune:2.5

00:19:21

passed #5761
dune:2.6

00:14:53

passed #5762
dune:git

00:10:44

 
  Stage3
passed #5763
dune-fufem:2.4

00:03:35

passed #5764
dune-fufem:git

00:04:02

passed #5765
dune-pdelab-deps:2.6

00:02:46

passed #5766
dune-pdelab-deps:git

00:02:00

 
  Publish
passed #5767
publish

00:10:21