Skip to content

Editorial: rename IDs that were embedded in emu-grammar elements back… #790

Editorial: rename IDs that were embedded in emu-grammar elements back…

Editorial: rename IDs that were embedded in emu-grammar elements back… #790

Triggered via push August 10, 2024 02:47
Status Success
Total duration 6m 3s
Artifacts

build.yml

on: push
build & lint ecmarkup
5m 54s
build & lint ecmarkup
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build & lint ecmarkup
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, ljharb/actions/node/install@d9f477827ed71a259056764107f74afc29febcae. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/