Skip to content

Editorial: Eliminate order-disambiguation from Annex B Pattern-grammar #25

Editorial: Eliminate order-disambiguation from Annex B Pattern-grammar

Editorial: Eliminate order-disambiguation from Annex B Pattern-grammar #25

Triggered via pull request August 13, 2024 02:25
Status Success
Total duration 6m 0s
Artifacts

spellcheck.yml

on: pull_request
check for newly-introduced spelling errors
5m 50s
check for newly-introduced spelling errors
Fit to window
Zoom out
Zoom in

Annotations

1 warning
check for newly-introduced spelling errors
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/