Re: jdk 13 missing on jenkins

2019-06-16 Thread Tilman Hausherr
Now it works, thanks Tilman Am 16.06.2019 um 06:32 schrieb Tilman Hausherr: Am 15.06.2019 um 22:56 schrieb Chris Lambertus: On Jun 15, 2019, at 1:00 PM, Tilman Hausherr wrote: Since a few hours ago, I get this with PDFBox builds using jdk13 (this is done at most once a day to see whether

Re: jdk 13 missing on jenkins

2019-06-15 Thread Tilman Hausherr
Am 15.06.2019 um 22:56 schrieb Chris Lambertus: On Jun 15, 2019, at 1:00 PM, Tilman Hausherr wrote: Since a few hours ago, I get this with PDFBox builds using jdk13 (this is done at most once a day to see whether any builds fail while new jdk13 ea releases are coming), other build jobs work

Re: jdk 13 missing on jenkins

2019-06-15 Thread Chris Lambertus
> On Jun 15, 2019, at 1:00 PM, Tilman Hausherr wrote: > > Since a few hours ago, I get this with PDFBox builds using jdk13 (this is > done at most once a day to see whether any builds fail while new jdk13 ea > releases are coming), other build jobs work fine: I just pushed a fix, it should

jdk 13 missing on jenkins

2019-06-15 Thread Tilman Hausherr
Since a few hours ago, I get this with PDFBox builds using jdk13 (this is done at most once a day to see whether any builds fail while new jdk13 ea releases are coming), other build jobs work fine: https://builds.apache.org/view/P/view/PDFBox/job/PDFBox-Trunk-jdk13/842/console Building remotel