Skip to content

fix: correct return type of document.getElementById from HTMLElement | null to Element | null to account for more general situations like SVGElement #127

fix: correct return type of document.getElementById from HTMLElement | null to Element | null to account for more general situations like SVGElement

fix: correct return type of document.getElementById from HTMLElement | null to Element | null to account for more general situations like SVGElement #127

Triggered via pull request March 4, 2025 14:49
@uhyouhyo
opened #65
fix-63
Status Success
Total duration 53s
Artifacts

test.yml

on: pull_request
Fit to window
Zoom out
Zoom in