Re: [rdf4j-dev] develop branch unstable

["Bart Hanssens (BOSA)" <bart.hanssens@xxxxxxxxxxxx>]

Hi

Ok, found it, jdk doesn't like generic exceptions in try-with-resources. Weird.

Merging the fix might take a little longer, Github is currently doing some general maintenance / repairing (https://twitter.com/githubstatus/status/1054196591777726469

Best regards

Bart

---

From: rdf4j-dev-bounces@xxxxxxxxxxx <rdf4j-dev-bounces@xxxxxxxxxxx> on behalf of Jeen Broekstra <jeen.broekstra@xxxxxxxxx>
Sent: Sunday, October 21, 2018 11:33:51 PM
To: rdf4j developer discussions
Subject: Re: [rdf4j-dev] develop branch unstable

 

No biggie, that's what Jenkins is there for :)

Cheers,

Jeen

On Mon, Oct 22, 2018 at 8:33 AM Bart Hanssens (BOSA) <bart.hanssens@xxxxxxxxxxxx> wrote:

Ok, sorry for the inconvenience, I’ll check what went wrong

 

From: rdf4j-dev-bounces@xxxxxxxxxxx <rdf4j-dev-bounces@xxxxxxxxxxx> On Behalf Of Jeen Broekstra
Sent: zondag 21 oktober 2018 23:10
To: rdf4j developer discussions <rdf4j-dev@xxxxxxxxxxx>
Subject: [rdf4j-dev] develop branch unstable

 

Jenkins reports a compilation failure on the develop branch, see https://ci.eclipse.org/rdf4j/job/rdf4j-storage-develop-build/50/console . Bart, it looks like a consequence of your merge, can you take a look?

 

Thanks,

 

Jeen

_______________________________________________
rdf4j-dev mailing list
rdf4j-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/rdf4j-dev