Use a separate script file for CI document stage

10 jobs for develop in 9 minutes and 10 seconds (queued for 17 seconds)
latest
Status Job ID Name Coverage
  Build
passed #193502541
buildbinary

00:01:00

 
  Document
passed #193502542
documentation

00:00:56

 
  Check
passed #193502544
checkerrors

00:01:13

passed #193502548
checknotes

00:01:14

passed #193502545
checkwarnings

00:01:05

 
  Test
passed #193502551
codecov

00:01:20

passed #193502549
unittests

00:01:19

 
  Deploy
passed #193502553
install

00:00:59

 
  External
passed codecov/patch

passed codecov/project

90.04329%