link to the configuration files

16 jobs for master in 21 minutes and 9 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Stage0
passed #3686
pull base distributions

00:00:19

 
  Stage1
passed #3691
base:10

00:00:11

passed #3692
base:16.04

00:00:11

passed #3693
base:16.10

00:00:11

passed #3689
base:8

00:00:15

passed #3690
base:9

00:00:15

passed #3687
docker-builder

00:00:11

passed #3688
proxy

00:00:15

 
  Stage2
passed #3694
base:8-backports

00:00:11

passed #3695
dune:2.3

00:00:12

passed #3696
dune:2.4

00:00:12

passed #3697
dune:2.5

00:00:24

passed #3698
dune:git

00:14:12

 
  Stage3
passed #3699
dune-fufem:2.4

00:00:11

passed #3700
dune-fufem:git

00:02:58

 
  Publish
passed #3701
publish

00:02:55