Comment Commands

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
preview_docs	0s
issue_assign	0s
asv_run	0s
	0s