use fu-proxy

16 jobs for master in 21 minutes and 47 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Stage0
passed #3642
pull base distributions

00:00:16

 
  Stage1
passed #3647
base:10

00:00:12

passed #3648
base:16.04

00:00:12

passed #3649
base:16.10

00:00:11

passed #3645
base:8

00:00:11

passed #3646
base:9

00:00:11

passed #3643
docker-builder

00:00:11

passed #3644
proxy

00:00:11

 
  Stage2
passed #3650
base:8-backports

00:00:11

passed #3651
dune:2.3

00:00:12

passed #3652
dune:2.4

00:00:12

passed #3653
dune:2.5

00:00:23

passed #3654
dune:git

00:14:53

 
  Stage3
passed #3655
dune-fufem:2.4

00:00:10

passed #3656
dune-fufem:git

00:02:59

 
  Publish
passed #3657
publish

00:02:57