Skip to content

Merge branch 'master' into develop #341

Merge branch 'master' into develop

Merge branch 'master' into develop #341

Triggered via push September 14, 2023 15:59
Status Cancelled
Total duration 8m 32s
Artifacts
Check that all classes are documented in the menu-a-la-carte example
8s
Check that all classes are documented in the menu-a-la-carte example
Build documentation
8m 2s
Build documentation
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build documentation
Canceling since a higher priority waiting request for 'Check for Complete Documentation-refs/heads/develop' exists
Build documentation
The operation was canceled.