Skip to content

Merge branch 'develop' into develop-humdrum #4446

Merge branch 'develop' into develop-humdrum

Merge branch 'develop' into develop-humdrum #4446

Triggered via push November 14, 2024 15:01
Status Failure
Total duration 27s
Artifacts
Matrix: formatting-check
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Check for tools
Process completed with exit code 1.
Check for libmei/addons
The job was canceled because "tools" failed.
Check for src
The job was canceled because "tools" failed.
Check for include
The job was canceled because "tools" failed.