Skip to content
JSON lint

[es] remove obsolete orphaned/Web/HTML/Element/applet #1877

Sign in to view logs

[es] remove obsolete orphaned/Web/HTML/Element/applet

[es] remove obsolete orphaned/Web/HTML/Element/applet #1877

Triggered via pull request November 28, 2023 10:48
@leon-winleon-win
synchronize #17120
leon-win:remove/es-orphaned-web-html-element-applet
Status Success
Total duration 1m 47s
Artifacts –

pr-check_json.yml

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