fix: navigation to correct heading in tools section #10271

Sign in to view logs

Triggered via issue March 17, 2024 11:48

commented on #2790 29910de

Status Skipped

Total duration 2s

Artifacts –

automerge-for-humans-add-ready-to-merge-or-do-not-merge-label.yml

on: issue_comment

add-ready-to-merge-label

add-do-not-merge-label

add-autoupdate-label