labels

Rename 'dom' directory to 'web' #361

Sign in to view logs

Triggered via pull request September 16, 2025 00:20

labeled #390

rename-dom-to-web

Status Success

Total duration 14s

Artifacts –

labels.yml

on: pull_request