Skip to content

Correctly distinguish ordered/sorted lists due to changes in lists.js #761

Correctly distinguish ordered/sorted lists due to changes in lists.js

Correctly distinguish ordered/sorted lists due to changes in lists.js #761

Triggered via pull request December 28, 2025 01:27
Status Success
Total duration 26s
Artifacts
Validate Language Info Files
23s
Validate Language Info Files
Fit to window
Zoom out
Zoom in