improve term sorting #961

Triggered via pull request April 7, 2024 17:32

opened #806

Status Success

Total duration 14s

Artifacts 1

auto-approve.yml

on: pull_request

Produced during runtime

Name	Size
pr_num Expired	140 Bytes