Skip to content

Merge remote-tracking branch 'upstream-orekit-gitlab/release-12.0' in… #25

Merge remote-tracking branch 'upstream-orekit-gitlab/release-12.0' in…

Merge remote-tracking branch 'upstream-orekit-gitlab/release-12.0' in… #25

Triggered via push October 30, 2023 09:05
Status Failure
Total duration 1m 29s
Artifacts

maven.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.