Skip to content

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

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

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

Triggered via pull request December 28, 2025 01:27
Status Success
Total duration 27s
Artifacts

validate-meta-info-file.yml

on: pull_request
Validate Meta Info File
24s
Validate Meta Info File
Fit to window
Zoom out
Zoom in