Skip to content

Implement support for @oct.default. Closes #3513 #1415

Implement support for @oct.default. Closes #3513

Implement support for @oct.default. Closes #3513 #1415

Triggered via push October 31, 2023 09:40
Status Success
Total duration 23m 20s
Artifacts 2

ci_build.yml

on: push
Matrix: build_cpp
Set up and cache emscripten
12s
Set up and cache emscripten
Copy the font files
6s
Copy the font files
Matrix: Build JS toolkit
Check settings for deployment
3s
Check settings for deployment
Build documentation
7m 54s
Build documentation
Deploy JS toolkit
1m 59s
Deploy JS toolkit
Deploy documentation
5m 14s
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 (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 (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