Build on Eclipse Foundation infrastructure
Ensure we can build on our Jenkins server (JIPP, Jenkins Instance Per Project). See https://ci.eclipse.org/escet/.
Jenkins is already connected to GitLab using a GitLab bot user, to access the source code.
We'll have to create a Jenkinsfile
with a pipeline. For more info on Jenkins, see https://wiki.eclipse.org/Jenkins.