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 Name Job ID Coverage
  Publish
passed publish #44796

00:00:18