docs: fix heading and disable lint rule #28004
Triggered via pull request
May 1, 2026 21:43
stdlib-bot
synchronize
#11840
Status
Success
Total duration
5m 30s
Artifacts
–
label_good_first_prs.yml
on: pull_request_target
Label PRs for issues with label "Good First Issue" as "Good First PR"s
6s