Fixup CI

5 jobs for testing in 4 minutes and 52 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Lint
passed #3067
gitlabdocker
lint program

00:00:56

 
  Build
passed #3068
gitlabdocker
build program

00:00:35

 
  Test
passed #3069
gitlabdocker
test program

00:01:14

 
  Docs
passed #3070
gitlabdocker
build docs

00:02:05

 
  Deploy
manual #3071
gitlabdocker allowed to fail manual
deploy program