Skip to content
Pull request

Implements customElements.getName() and fixes letter case handling. #758

Sign in to view logs

Implements customElements.getName() and fixes letter case handling.

Implements customElements.getName() and fixes letter case handling. #758

Triggered via pull request December 11, 2023 16:49
@mash-grazmash-graz
synchronize #1177
mash-graz:feature-getName
Status Success
Total duration 26s
Artifacts –

pull_request.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in