Skip to content

Adding mario keyboard #2071

Adding mario keyboard

Adding mario keyboard #2071

Re-run triggered June 25, 2024 14:00
Status Success
Total duration 44m 33s
Artifacts

ci.yml

on: pull_request
Check Vial UIDs
13s
Check Vial UIDs
Build default keymaps for Vial
40m 55s
Build default keymaps for Vial
Build Vial keymaps
44m 20s
Build Vial keymaps
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Check Vial UIDs
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build default keymaps for Vial
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build Vial keymaps
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.