tree 9f7b15f052258f3180c3f3d84d70f2f739c5971f
parent 46900664279200bf97583cda109a38f1b168c421
author Richard Eckart de Castilho <rec@apache.org> 1652358440 +0200
committer Richard Eckart de Castilho <rec@apache.org> 1652358440 +0200

[UIMA-6451] Jenkins builds should run against multiple platforms

- Try without "def" as per https://issues.jenkins.io/browse/JENKINS-65292?focusedCommentId=409735&page=com.atlassian.jira.plugin.system.issuetabpanels%3Acomment-tabpanel#comment-409735