Lint

Add `hide` option to hide generated pages from the sidebar listing #1018

Sign in to view logs

Triggered via pull request December 7, 2025 16:07

st0012

synchronize #1484

support-hiding-pages

Status Success

Total duration 34s

Artifacts –

lint.yml

on: pull_request