Skip to content

Remove duplicate subs, subs for generic words, and outdated terms #11930

Remove duplicate subs, subs for generic words, and outdated terms

Remove duplicate subs, subs for generic words, and outdated terms #11930

Triggered via pull request November 21, 2025 22:10
@colleenmcginniscolleenmcginnis
synchronize #4042
Status Success
Total duration 10s
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