Skip to content

clarify which PRs co-maintainers can merge #146

clarify which PRs co-maintainers can merge

clarify which PRs co-maintainers can merge #146

Triggered via push August 7, 2024 09:00
Status Success
Total duration 19s
Artifacts

lint.yml

on: push
Check file endings
4s
Check file endings
Check for code formatting mistakes
12s
Check for code formatting mistakes
Check for spelling errors
10s
Check for spelling errors
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
Check for spelling errors: data/discarded.json#L37
RIN ==> RING, RINK, RIND, RAIN, REIN, RUIN, GRIN
Check file endings
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Check for spelling errors
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
Check for code formatting mistakes
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/