default to graceful shutdown of gitlab-runner

14 jobs for master in 78 minutes and 27 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Stage0
passed #3105
pull base distributions

00:01:02

 
  Stage1
passed #3109
base:16.04

00:08:19

passed #3110
base:16.10

00:08:27

passed #3107
base:8

00:00:21

passed #3108
base:9

00:00:23

passed #3106
docker-builder

00:00:53

 
  Stage2
passed #3111
base:8-backports

00:00:17

passed #3112
dune:2.3

00:00:17

passed #3113
dune:2.4

00:00:55

passed #3114
dune:2.5

00:00:42

passed #3115
dune:git

00:24:19

 
  Stage3
passed #3116
dune-fufem:2.4

00:06:55

passed #3117
dune-fufem:git

00:06:33

 
  Publish
passed #3118
manual
publish

00:36:57