Skip to content
Verovio CI Build

Fix position of mensural dots at the end of a system #1396

Sign in to view logs

Fix position of mensural dots at the end of a system

Fix position of mensural dots at the end of a system #1396

Triggered via push September 30, 2023 17:10
@lpuginlpugin
pushed 6fb5fdf
develop
Status Success
Total duration 17m 41s
Artifacts 2

ci_build.yml

on: push
Matrix: build_cpp
Set up and cache emscripten
15s
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
2m 8s
Build documentation
Deploy JS toolkit
1m 41s
Deploy JS toolkit
Deploy documentation
3m 34s
Deploy documentation
Skip deployment if set
0s
Skip deployment if set
Fit to window
Zoom out
Zoom in

Annotations

7 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/
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 (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 (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/
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/
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