Skip to content

Merge remote-tracking branch 'origin/15-readers' into 15-readers #50

Merge remote-tracking branch 'origin/15-readers' into 15-readers

Merge remote-tracking branch 'origin/15-readers' into 15-readers #50

Triggered via push November 19, 2023 09:39
Status Success
Total duration 45s
Artifacts

github-ci.yml

on: push
java-8  /  build-and-tests
36s
java-8 / build-and-tests
java-11  /  build-and-tests
26s
java-11 / build-and-tests
java-17  /  build-and-tests
27s
java-17 / build-and-tests
Fit to window
Zoom out
Zoom in