fix: navigation to correct heading in tools section #10395
Triggered via issue
March 24, 2024 15:45
sambhavgupta0705
Status
Skipped
Total duration
3s
Artifacts
–
automerge-for-humans-add-ready-to-merge-or-do-not-merge-label.yml
on: issue_comment
add-ready-to-merge-label
0s
add-do-not-merge-label
0s
add-autoupdate-label
0s