Skip to content

Merge main into develop (#4727) #834

Merge main into develop (#4727)

Merge main into develop (#4727) #834

Triggered via push August 6, 2023 12:24
Status Failure
Total duration 29m 3s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 2 warnings
MediumConcurrencyTest.queryMix: tools/federation/src/test/java/org/eclipse/rdf4j/federated/MediumConcurrencyTest.java#L85
org.eclipse.rdf4j.sail.SailException: Connection closed before all iterations were closed: org.eclipse.rdf4j.sail.helpers.SailBaseIteration@5731c036
build (20)
Process completed with exit code 1.
build (11)
The operation was canceled.
build (20)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (11)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/