Skip to content

Hide/Unhide themes documented #877

Hide/Unhide themes documented

Hide/Unhide themes documented #877

Triggered via pull request June 18, 2024 10:32
Status Success
Total duration 43s
Artifacts

linting.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
prose: docs/themes/manage_themes.rst#L129
[vale] reported by reviewdog 🐶 [Vale.Spelling] Did you really mean 'Unhide'? Raw Output: {"message": "[Vale.Spelling] Did you really mean 'Unhide'?", "location": {"path": "docs/themes/manage_themes.rst", "range": {"start": {"line": 129, "column": 77}}}, "severity": "ERROR"}
build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.