Skip to content

Merge branch 'develop' into test-stdout #765

Merge branch 'develop' into test-stdout

Merge branch 'develop' into test-stdout #765

Triggered via push March 9, 2025 20:02
Status Success
Total duration 3h 20m 35s
Artifacts 2
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build-doc-pdf
The process '/usr/bin/git' failed with exit code 128

Artifacts

Produced during runtime
Name Size
doc-pdf
251 MB
tobiasdiez~sage~JWXDQ2.dockerbuild
192 KB