Fix publish target in gitlab-ci file: Make sure sources are compiled.

1 job for v3.1.0 in 18 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Publish
passed #44796
publish

00:00:18