Skip to content

Rename pmd-ui to pmd-designer #157

Rename pmd-ui to pmd-designer

Rename pmd-ui to pmd-designer #157

Triggered via pull request February 15, 2024 07:54
Status Success
Total duration 1m 31s
Artifacts

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in