Fix gitlabci.

2 jobs for !97 with development/experimental-migration in 4 minutes and 32 seconds (queued for 1 second)
detached
Status Job ID Name Coverage
  Build
passed #90144
distcheck-linux-coverage

00:04:32

90.8%
passed #90143
windows
windows-debug

00:03:29