duneci-runner: run in read-only container [ci skip]

19 jobs for master in 4 minutes and 50 seconds (queued for 12 minutes and 59 seconds)
Status Job ID Name Coverage
  Stage0
passed #5843
pull base distributions

00:00:28

 
  Stage1
passed #5848
base:10

00:00:12

passed #5849
base:16.04

00:00:13

passed #5850
base:18.04

00:00:12

passed #5846
base:8

00:00:14

passed #5847
base:9

00:00:13

passed #5844
docker-builder

00:00:14

passed #5845
proxy

00:00:13

 
  Stage2
passed #5851
base:8-backports

00:00:13

passed #5852
dune:2.3

00:00:13

passed #5853
dune:2.4

00:00:17

passed #5854
dune:2.5

00:00:13

passed #5855
dune:2.6

00:00:13

passed #5856
dune:git

00:00:13

 
  Stage3
passed #5857
dune-fufem:2.4

00:00:13

passed #5858
dune-fufem:git

00:00:12

passed #5859
dune-pdelab-deps:2.6

00:00:13

passed #5860
dune-pdelab-deps:git

00:00:13

 
  Publish
passed #5861
publish

00:01:20