gitlab ci is now out-of-sync between master and maint-0.3.5
There are big comments at the head of .gitlab-ci.yml
and ci-driver.sh
that say to keep them in sync on all our branches. But they aren't in sync any more.
@dgoulet, can you have a look? I think it's your commits for tracing that broke this property.