Skip to content

Merge branch 'master' into ExtInts #74

Merge branch 'master' into ExtInts

Merge branch 'master' into ExtInts #74

Triggered via push August 14, 2024 18:51
Status Failure
Total duration 48s
Artifacts
Build documentation  /  Build documentation
37s
Build documentation / Build documentation
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build documentation / Build documentation
Process completed with exit code 1.
Build documentation / Build documentation
Process completed with exit code 127.