Skip to content
JSON lint

es: Remove Document.registerElement from MDN as en-US #1218

Sign in to view logs

es: Remove Document.registerElement from MDN as en-US

es: Remove Document.registerElement from MDN as en-US #1218

Triggered via pull request June 29, 2023 17:18
@Graywolf9Graywolf9
synchronize #13861
Graywolf9:es-remove-Document.registerElement
Status Success
Total duration 1m 7s
Artifacts –

pr-check_json.yml

on: pull_request
docs
57s
docs
Fit to window
Zoom out
Zoom in