Build #12 (Jun 18, 2019, 11:35:42 AM)

1. script now terminates on error (commit: a25f9bc) (details)

Push event to branch feature/jena-3.11 at 11:35:36 AM on Jun 18, 2019

• refs/remotes/origin/feature/jena-3.11