Skip to content

refactor: split SuccOrder WithTop instance into NoMaxOrder and OrderTop #39234

refactor: split SuccOrder WithTop instance into NoMaxOrder and OrderTop

refactor: split SuccOrder WithTop instance into NoMaxOrder and OrderTop #39234

Triggered via pull request October 20, 2024 22:51
Status Success
Total duration 13s
Artifacts

label_new_contributor.yml

on: pull_request
label-and-report-new-contributor
4s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in