Skip to content

Rename "Tabs bar menu" to "Tabs menu" #11742

Rename "Tabs bar menu" to "Tabs menu"

Rename "Tabs bar menu" to "Tabs menu" #11742

Triggered via pull request November 18, 2025 12:12
Status Success
Total duration 9s
Artifacts

comment-on-asciidoc-changes.yml

on: pull_request_target
comment-on-asciidoc-change  /  comment-on-asciidoc-change
6s
comment-on-asciidoc-change / comment-on-asciidoc-change
Fit to window
Zoom out
Zoom in