Skip to content

Merge pull request #170 from rwth-acis/release/1.3.0 #14

Merge pull request #170 from rwth-acis/release/1.3.0

Merge pull request #170 from rwth-acis/release/1.3.0 #14

Triggered via push July 9, 2023 15:56
Status Failure
Total duration 2m 58s
Artifacts
deploy-javadoc-latest
2m 49s
deploy-javadoc-latest
Fit to window
Zoom out
Zoom in

Annotations

1 error
deploy-javadoc-latest
Process completed with exit code 1.