Closed cdietrich closed 3 years ago
added build option with travis
Signed-off-by: Christian Dietrich christian.dietrich@itemis.de
@meysholdt alternatively would the enablement for PRs in ci.eclipse.org/xpect do the same. Jenkinsfile might need an option to skip deployments then
travis is dead. love live something else
added build option with travis
Signed-off-by: Christian Dietrich christian.dietrich@itemis.de