Skip to content
Label PR

[CI] Page-local dictionary normalization: drop unused words and duplicates (now case-insensitive compare) #6053

Sign in to view logs

[CI] Page-local dictionary normalization: drop unused words and duplicates (now case-insensitive compare)

[CI] Page-local dictionary normalization: drop unused words and duplicates (now case-insensitive compare) #6053

Triggered via pull request February 1, 2025 03:27
@chalinchalin
opened #6165
Status Success
Total duration 16s
Artifacts –

label-prs.yml

on: pull_request_target
Add component labels
8s
Add component labels
Fit to window
Zoom out
Zoom in