Skip to content
Verovio CI Build

Fix header validity in MEI basic export. Fixes #3529 #1419

Sign in to view logs

Fix header validity in MEI basic export. Fixes #3529

Fix header validity in MEI basic export. Fixes #3529 #1419

Triggered via push November 14, 2023 13:43
@lpuginlpugin
pushed 5d50ac4
develop
Status Success
Total duration 24m 17s
Artifacts 2

ci_build.yml

on: push
Matrix: build_cpp
Set up and cache emscripten
1m 51s
Set up and cache emscripten
Copy the font files
4s
Copy the font files
Matrix: Build JS toolkit
Check settings for deployment
1s
Check settings for deployment
Build documentation
7m 41s
Build documentation
Deploy JS toolkit
1m 12s
Deploy JS toolkit
Deploy documentation
6m 40s
Deploy documentation
Skip deployment if set
0s
Skip deployment if set
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
Set up and cache emscripten
The following actions uses node12 which is deprecated and will be forced to run on node16: mymindstorm/setup-emsdk@v11. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Set up and cache emscripten
No cached files found at path "/home/runner/work/verovio/verovio/emsdk-cache" - downloading and caching emsdk.
Build JS toolkit (light, Building toolkit without humdrum as light version, -c -H -l -M, verovio-...
The following actions uses node12 which is deprecated and will be forced to run on node16: mymindstorm/setup-emsdk@v11. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build JS toolkit (nohumdrum, Building toolkit without humdrum, -c -H -M, verovio-toolkit.js*)
The following actions uses node12 which is deprecated and will be forced to run on node16: mymindstorm/setup-emsdk@v11. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build JS toolkit (wasm, Building toolkit without humdrum as wasm, -c -H -w -M, verovio*wasm*, true)
The following actions uses node12 which is deprecated and will be forced to run on node16: mymindstorm/setup-emsdk@v11. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build JS toolkit (default, Building default toolkit with humdrum, -c -M, *-hum.js*)
The following actions uses node12 which is deprecated and will be forced to run on node16: mymindstorm/setup-emsdk@v11. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Check settings for deployment
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Check settings for deployment
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Artifacts

Produced during runtime
Name Size
doc-build Expired
133 MB
toolkit-build Expired
9.44 MB