Comment Commands

BUG: border attribute used in html.py was deprecated in HTML5 #29490

Sign in to view logs

Triggered via issue July 26, 2025 20:49

commented on #61949 e4a03b6

Status Success

Total duration 9s

Artifacts –

comment-commands.yml

on: issue_comment