Skip to content

Rename 'ignore' to 'exclude' in default config (#464) #24

Rename 'ignore' to 'exclude' in default config (#464)

Rename 'ignore' to 'exclude' in default config (#464) #24

Triggered via push October 24, 2024 10:12
Status Success
Total duration 39s
Artifacts 1

gh-pages.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
pages: docs/tips/editors-integration.md#L43
Pygments lexer name 'jsonc' is not known
pages: docs/tips/editors-integration.md#L65
Pygments lexer name 'viml' is not known
pages: docs/tips/editors-integration.md#L123
Pygments lexer name 'jsonc' is not known

Artifacts

Produced during runtime
Name Size
github-pages Expired
364 KB