Skip to content
Survey on Merged PR by Non-Member

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

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) #196

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Add survey to PR if author is not a member
6s
6s